Increased the keyboard interval from 13.3 Hz to 30 Hz

ChangeLog

@@ -1,3 +1,7 @@
+2020-10-20  Markus Gans  <guru.mail@muenster.de>
+	* For fast mouse movements the keyboard interval was increased 
+	  from 13.3 to 30 Hz
+
 2020-10-19  Markus Gans  <guru.mail@muenster.de>
 	* Optimize the terminal output speed
 

src/fkeyboard.cpp

@@ -44,9 +44,9 @@ namespace finalcut
 {
 
 // static class attributes
-uInt64 FKeyboard::read_blocking_time{100000};  // preset to 100 ms / 10 Hz
+uInt64 FKeyboard::read_blocking_time{100000};  // preset to 100 ms (10 Hz)
-uInt64 FKeyboard::key_timeout{100000};         // preset to 100 ms / 10 Hz
+uInt64 FKeyboard::key_timeout{100000};         // preset to 100 ms (10 Hz)
-uInt64 FKeyboard::interval_timeout{75000};     // preset to 75 ms / 13.3 Hz
+uInt64 FKeyboard::interval_timeout{33333};     // preset to 33.333 ms (30 Hz)
 struct timeval FKeyboard::time_keypressed{};
 struct timeval FKeyboard::time_last_request{};
 

src/flistbox.cpp

@@ -426,6 +426,7 @@ void FListBox::onMouseMove (FMouseEvent* ev)
       vbar->drawBar();
 
     processTerminalUpdate();
+    flush();
   }
 
   // Auto-scrolling when dragging mouse outside the widget

src/flistview.cpp

@@ -1221,6 +1221,7 @@ void FListView::onMouseMove (FMouseEvent* ev)
       vbar->drawBar();
 
     processTerminalUpdate();
+    flush();
   }
 
   // auto-scrolling when dragging mouse outside the widget

src/fmenu.cpp

@@ -312,6 +312,7 @@ void FMenu::onMouseMove (FMouseEvent* ev)
   {
     closeOpenedSubMenu();
     processTerminalUpdate();
+    flush();
   }
 }
 

src/fvterm.cpp

@@ -152,7 +152,6 @@ void FVTerm::setTermXY (int x, int y) const
   if ( move_str )
     appendOutputBuffer(move_str);
 
-  flush();
   term_pos->setPoint(x, y);
 }
 
@@ -183,7 +182,7 @@ void FVTerm::hideCursor (bool enable) const
 
   const char* visibility_str = FTerm::cursorsVisibilityString (enable);
 
-  if ( ! visibility_str )
+  if ( ! visibility_str )  // Exit the function if the string is empty
     return;
 
   appendOutputBuffer(visibility_str);