diff options
| author | ManoloFLTK <41016272+ManoloFLTK@users.noreply.github.com> | 2020-08-03 17:31:55 +0200 |
|---|---|---|
| committer | ManoloFLTK <41016272+ManoloFLTK@users.noreply.github.com> | 2020-08-03 17:32:09 +0200 |
| commit | 81941c5597f0fd5310036312efd9112922f3c164 (patch) | |
| tree | 80d6688c0533572a0ec78bcdb2413066c3fcdadc /src/drivers/GDI/Fl_GDI_Graphics_Driver.H | |
| parent | 4d0b04456e29db20509fc1747518a3840ee7715b (diff) | |
Remove useless Fl_GDI_Graphics_Driver::reset_spot()
Diffstat (limited to 'src/drivers/GDI/Fl_GDI_Graphics_Driver.H')
| -rw-r--r-- | src/drivers/GDI/Fl_GDI_Graphics_Driver.H | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/drivers/GDI/Fl_GDI_Graphics_Driver.H b/src/drivers/GDI/Fl_GDI_Graphics_Driver.H index 7dd947f6e..36750f7d7 100644 --- a/src/drivers/GDI/Fl_GDI_Graphics_Driver.H +++ b/src/drivers/GDI/Fl_GDI_Graphics_Driver.H @@ -138,7 +138,6 @@ protected: void set_color(Fl_Color i, unsigned int c); void free_color(Fl_Color i, int overlay); void set_spot(int font, int size, int X, int Y, int W, int H, Fl_Window *win); - void reset_spot(); virtual Fl_Font set_fonts(const char *name); virtual int get_font_sizes(Fl_Font fnum, int*& sizep); virtual const char* get_font_name(Fl_Font fnum, int* ap); |