Remove useless GUI font code

1 files changed, 0 insertions, 7 deletions

diff --git a/video.h b/video.h
index 18720bd..3719cc9 100644
--- a/video.h
+++ b/video.h
@@ -27,13 +27,6 @@ void update_screen();
 void init_video();
 void video_resolution_large();
 void video_resolution_small();
-void print_string(const char *str, u16 fg_color, u16 bg_color,
- u32 x, u32 y);
-void print_string_pad(const char *str, u16 fg_color, u16 bg_color,
- u32 x, u32 y, u32 pad);
-void print_string_ext(const char *str, u16 fg_color, u16 bg_color,
- u32 x, u32 y, void *_dest_ptr, u32 pitch, u32 pad,
- u32 h_offset, u32 height);
 void clear_screen(u16 color);
 void blit_to_screen(u16 *src, u32 w, u32 h, u32 x, u32 y);
 u16 *copy_screen();