From 07bcbc0ed50972413bf84c996a79b5cddfb15c22 Mon Sep 17 00:00:00 2001
From: Martin Clochard <martin.clochard@lri.fr>
Date: Fri, 21 Mar 2014 16:39:47 +0100
Subject: [PATCH] [ide] raise maximum allowed timelimit (300s is too low)
---
src/ide/gconfig.ml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/ide/gconfig.ml b/src/ide/gconfig.ml
index bb01c24f10..dec1490ae7 100644
--- a/src/ide/gconfig.ml
+++ b/src/ide/gconfig.ml
@@ -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:
--
GitLab