Android: Separating keyboard stuff into a new file

git-svn-id: file:///fltk/svn/fltk/branches/branch-1.4@12800 ea41ed52-d2ee-0310-a9c1-e6b18d33e121

1 files changed, 6 insertions, 6 deletions

diff --git a/src/drivers/Android/Fl_Android_Screen_Driver.H b/src/drivers/Android/Fl_Android_Screen_Driver.H
index 59cec5462..4154bf64d 100644
--- a/src/drivers/Android/Fl_Android_Screen_Driver.H
+++ b/src/drivers/Android/Fl_Android_Screen_Driver.H
@@ -48,10 +48,10 @@ private:
 public:
   Fl_Android_Screen_Driver() : Fl_Screen_Driver(), pScreenContentChanged(false) { }
 
-  void add_timeout(double time, Fl_Timeout_Handler cb, void *argp);
-  void repeat_timeout(double time, Fl_Timeout_Handler cb, void *argp);
-  int has_timeout(Fl_Timeout_Handler cb, void *argp);
-  void remove_timeout(Fl_Timeout_Handler cb, void *argp);
+  virtual void add_timeout(double time, Fl_Timeout_Handler cb, void *argp) override;
+  virtual void repeat_timeout(double time, Fl_Timeout_Handler cb, void *argp) override;
+  virtual int has_timeout(Fl_Timeout_Handler cb, void *argp) override;
+  virtual void remove_timeout(Fl_Timeout_Handler cb, void *argp) override;
 
   virtual int compose(int &del) override;
 
@@ -79,8 +79,8 @@ public:
   virtual void beep(int type);
   // --- global events
 #endif
-  virtual void flush();
-  virtual double wait(double time_to_wait);
+  virtual void flush() override;
+  virtual double wait(double time_to_wait) override;
 #if 0
   virtual int ready();
   virtual void grab(Fl_Window* win);