diff options
Diffstat (limited to 'gtk')
| -rw-r--r-- | gtk/PlatGTK.cxx | 4 | 
1 files changed, 4 insertions, 0 deletions
| diff --git a/gtk/PlatGTK.cxx b/gtk/PlatGTK.cxx index 8afe2bcba..0a84f46a1 100644 --- a/gtk/PlatGTK.cxx +++ b/gtk/PlatGTK.cxx @@ -1686,6 +1686,10 @@ unsigned int Platform::DoubleClickTime() {  	return 500; 	// Half a second  } +bool Platform::MouseButtonBounce() { +	return true; +} +  void Platform::DebugDisplay(const char *s) {  	printf("%s", s);  } | 
