From 81941c5597f0fd5310036312efd9112922f3c164 Mon Sep 17 00:00:00 2001
From: ManoloFLTK <41016272+ManoloFLTK@users.noreply.github.com>
Date: Mon, 3 Aug 2020 17:31:55 +0200
Subject: Remove useless Fl_GDI_Graphics_Driver::reset_spot()

---
 src/drivers/GDI/Fl_GDI_Graphics_Driver.H | 1 -
 1 file changed, 1 deletion(-)

(limited to 'src/drivers/GDI/Fl_GDI_Graphics_Driver.H')

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);
-- 
cgit v1.2.3