diff options
| author | Robert Vollmert <rvollmert@gmx.net> | 2010-05-15 09:15:36 +0200 |
|---|---|---|
| committer | Robert Vollmert <rvollmert@gmx.net> | 2010-05-15 09:25:54 +0200 |
| commit | 033a6bb56be09bff1867051e16af8781ebbe3ebb (patch) | |
| tree | a2d523a67193cab089ce1084abaf9cfc7ee37fa2 /crawl-ref/source/libgui.h | |
| parent | cc30ee9fb6de771f686bbe18f0a1d9c836a4608c (diff) | |
| download | crawl-ref-033a6bb56be09bff1867051e16af8781ebbe3ebb.tar.gz crawl-ref-033a6bb56be09bff1867051e16af8781ebbe3ebb.zip | |
Get rid of get_input_line.
It's not used anymore, and was buggy on windows console.
Diffstat (limited to 'crawl-ref/source/libgui.h')
| -rw-r--r-- | crawl-ref/source/libgui.h | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/crawl-ref/source/libgui.h b/crawl-ref/source/libgui.h index 8c65f75611..603731398b 100644 --- a/crawl-ref/source/libgui.h +++ b/crawl-ref/source/libgui.h @@ -36,7 +36,6 @@ void clear_to_end_of_line(void); void clear_to_end_of_screen(void); int get_number_of_lines(void); int get_number_of_cols(void); -void get_input_line_gui(char *const buff, int len); void _setcursortype(int curstype); void textbackground(int bg); void textcolor(int col); |