diff options
| author | letouzey | 2012-12-07 15:19:01 +0000 |
|---|---|---|
| committer | letouzey | 2012-12-07 15:19:01 +0000 |
| commit | ea75876a2f1ba5c87d2fe08750576a1cc731b1eb (patch) | |
| tree | d42932bea6e7a0fe1025f2616d68e2efc7b5dd40 /ide/ideutils.mli | |
| parent | 31e7383b0461b8fddd5cec0debf760bd6a31a736 (diff) | |
Coqide: nicer creation of timers
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16033 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'ide/ideutils.mli')
| -rw-r--r-- | ide/ideutils.mli | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/ide/ideutils.mli b/ide/ideutils.mli index af45fa21b3..740a830e1c 100644 --- a/ide/ideutils.mli +++ b/ide/ideutils.mli @@ -16,8 +16,11 @@ val doc_url : unit -> string val browse : (string -> unit) -> string -> unit val browse_keyword : (string -> unit) -> string -> unit val byte_offset_to_char_offset : string -> int -> int -val disconnect_revert_timer : unit -> unit -val disconnect_auto_save_timer : unit -> unit + +type timer = { run : ms:int -> callback:(unit->bool) -> unit; + kill : unit -> unit } +val mktimer : unit -> timer + val do_convert : string -> string val find_tag_limits : GText.tag -> GText.iter -> GText.iter * GText.iter val find_tag_start : GText.tag -> GText.iter -> GText.iter @@ -28,8 +31,6 @@ val my_stat : string -> Unix.stats option val print_id : 'a -> unit -val revert_timer : GMain.Timeout.id option ref -val auto_save_timer : GMain.Timeout.id option ref val select_file_for_open : title:string -> unit -> string option val select_file_for_save : title:string -> ?filename:string -> unit -> string option |