diff --git a/Fltk/FlGui.cpp b/Fltk/FlGui.cpp
index c19f5988dc34de43b989d2675db1ce1c57c119f0..de9c4529e476b048adcfa7546664cdb6963469e7 100644
--- a/Fltk/FlGui.cpp
+++ b/Fltk/FlGui.cpp
@@ -572,11 +572,9 @@ int FlGui::testGlobalShortcuts(int event)
   }
   else if(Fl::test_shortcut(FL_ALT + 't')) {
     for(unsigned int i = 0; i < PView::list.size(); i++)
-      if(opt_view_visible(i, GMSH_GET, 0)){
-        double t = opt_view_intervals_type(i, GMSH_GET, 0) + 1;
-        if(t == 4) t++; // skip numeric
-        opt_view_intervals_type(i, GMSH_SET | GMSH_GUI, t);
-      }
+      if(opt_view_visible(i, GMSH_GET, 0))
+        opt_view_intervals_type
+          (i, GMSH_SET | GMSH_GUI, opt_view_intervals_type(i, GMSH_GET, 0) + 1);
     status = 2;
   }
   else if(Fl::test_shortcut(FL_ALT + 'r')) {