diff options
Diffstat (limited to 'otherlibs/labltk/browser/jg_box.ml')
| -rw-r--r-- | otherlibs/labltk/browser/jg_box.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/otherlibs/labltk/browser/jg_box.ml b/otherlibs/labltk/browser/jg_box.ml index 681e79e0b..3675f4bfa 100644 --- a/otherlibs/labltk/browser/jg_box.ml +++ b/otherlibs/labltk/browser/jg_box.ml @@ -39,7 +39,7 @@ let recenter lb ~index = class timed ?wait ?nocase get_texts = object val get_texts = get_texts inherit Jg_completion.timed [] ?wait ?nocase as super - method reset = + method! reset = texts <- get_texts (); super#reset end |