Index: src/Plugins/Qt/qt_gui.cpp
--- src/Plugins/Qt/qt_gui.cpp.orig
+++ src/Plugins/Qt/qt_gui.cpp
@@ -878,7 +878,7 @@ qt_gui_rep::update () {
   
   time_t delay = delayed_commands.lapse - texmacs_time();
   if (needing_update) delay = 0;
-  else                delay = max (0, min (std_delay, delay));
+  else                delay = max (static_cast<time_t>(0), min (static_cast<time_t>(std_delay), delay));
   if (postpone_treatment) delay= 9; // NOTE: force occasional display
  
   updatetimer->start (delay);
