diff options
| author |  Maxime Dénès <mail@maximedenes.fr> | 2017-03-29 23:53:05 +0200 |
|---|---|---|
| committer | Maxime Dénès <mail@maximedenes.fr> | 2017-03-29 23:53:05 +0200 |
| commit | df78cb79c549c7dc02e2f19add28be3600d3565f (patch) | |
| tree | ceae3c7d39ca074fe74080b889cd60ebc0846378 /ide/wg_ProofView.mli | |
| parent | f9e0f07d250fd4d468784b80cbb116f6ebfd5de5 (diff) | |
| parent | df1d4dc9c3808a811111e4cd9eeda328b51f20de (diff) | |
Merge PR#522: [coqide] Protect against size_allocate race in proofview.
Diffstat (limited to 'ide/wg_ProofView.mli')
| -rw-r--r-- | ide/wg_ProofView.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ide/wg_ProofView.mli b/ide/wg_ProofView.mli index aa01d955d..a90d429d0 100644 --- a/ide/wg_ProofView.mli +++ b/ide/wg_ProofView.mli @@ -10,7 +10,7 @@ class type proof_view = object inherit GObj.widget method buffer : GText.buffer - method refresh : unit -> unit + method refresh : force:bool -> unit method clear : unit -> unit method set_goals : Interface.goals option -> unit method set_evars : Interface.evar list option -> unit |