diff options
| author |  gareuselesinge <gareuselesinge@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2013-09-13 15:58:21 +0000 |
|---|---|---|
| committer | gareuselesinge <gareuselesinge@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2013-09-13 15:58:21 +0000 |
| commit | 4918be7d31c680527dff6cc0b9925a74257e0789 (patch) | |
| tree | c566acadea7e73d912dab94784973228cffdc471 /ide/coqide.ml | |
| parent | f1f79d47593fbf293f2c17d197ca6765859f1822 (diff) | |
fix error reporting window size calculation
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16779 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'ide/coqide.ml')
| -rw-r--r-- | ide/coqide.ml | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/ide/coqide.ml b/ide/coqide.ml index 9ea523c73..5ff849268 100644 --- a/ide/coqide.ml +++ b/ide/coqide.ml @@ -1306,6 +1306,9 @@ let build_ui () = ignore(sn.script#scroll_to_iter ~use_align:false ~yalign:0.75 ~within_margin:0.25 (sn.script#buffer#get_iter (`LINE (lno-1))))) in + (* So that the text is wrapped correctly in the model even if the window + * has never been shown *) + data#misc#realize (); obj, (let last_update = ref (0,[]) in fun tabno l -> if !last_update = (tabno,l) then () @@ -1325,9 +1328,7 @@ let build_ui () = let update_errwin () = on_current_term (fun sn -> fill_errwin (notebook#term_num (==) sn) sn.coqops#get_errors) in - let _ = slaveinfobut#connect#clicked ~callback:(fun () -> - update_errwin (); - errwin#misc#show ()) in + let _ = slaveinfobut#connect#clicked ~callback:errwin#misc#show in let update sn = let processed, to_process = sn.coqops#get_slaves_status in let missing = to_process - processed in |