From f4c0da6517e3a5bf4e87d2ac0acf474fbc75d62c Mon Sep 17 00:00:00 2001 From: David Vazgenovich Shakaryan Date: Mon, 2 May 2022 20:03:01 -0700 Subject: web: more renaming --- web/web_ui.h | 19 ------------------- 1 file changed, 19 deletions(-) delete mode 100644 web/web_ui.h (limited to 'web/web_ui.h') diff --git a/web/web_ui.h b/web/web_ui.h deleted file mode 100644 index 831e3dd..0000000 --- a/web/web_ui.h +++ /dev/null @@ -1,19 +0,0 @@ -#ifndef WEB_UI_H -#define WEB_UI_H - -#include - -void ui_flush(); - -void ui_flush_player_info(int pn); -void ui_set_player_avg(int pn, double avg); - -void update_player_name(int pn, char *str); -void update_player_sugg(int pn, int rem); -void update_player_avg(int pn, int n_darts); -void update_player_rem(int pn, int rem); -void clear_player_info(int pn); - -void draw_visits(); - -#endif -- cgit v1.2.3-70-g09d2