Commit 07bcbc0e authored by Martin Clochard's avatar Martin Clochard

[ide] raise maximum allowed timelimit (300s is too low)

parent d0f768b4
......@@ -632,7 +632,7 @@ let general_settings (c : t) (notebook:GPack.notebook) =
let _ = GMisc.label ~text:"Time limit (in sec.): " ~width ~xalign
~packing:(hb#pack ~expand:false) () in
let timelimit_spin = GEdit.spin_button ~digits:0 ~packing:hb#add () in
timelimit_spin#adjustment#set_bounds ~lower:0. ~upper:300. ~step_incr:1. ();
timelimit_spin#adjustment#set_bounds ~lower:0. ~upper:42_000_000. ~step_incr:1. ();
timelimit_spin#adjustment#set_value (float_of_int c.session_time_limit);
let (_ : GtkSignal.id) =
timelimit_spin#connect#value_changed ~callback:
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment