coqide: preferences support and optimizations

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3724 85f007b7-540e-0410-9357-904b9bb8a0f7

1 files changed, 6 insertions, 0 deletions

diff --git a/ide/ideutils.ml b/ide/ideutils.ml
index 3edd65aac..ea015daa3 100644
--- a/ide/ideutils.ml
+++ b/ide/ideutils.ml
@@ -80,3 +80,9 @@ let browse_keyword text =
     let u = url_for_keyword text in browse (current.doc_url ^ u) 
   with _ -> ()
 
+let my_stat f = try Some (Unix.stat f) with _ -> None
+
+let revert_timer = ref None
+let disconnect_revert_timer () = match !revert_timer with
+  | None -> ()
+  | Some id -> GMain.Timeout.remove id; revert_timer := None