diff options
Diffstat (limited to 'otherlibs/labltk/browser/viewer.ml')
| -rw-r--r-- | otherlibs/labltk/browser/viewer.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/otherlibs/labltk/browser/viewer.ml b/otherlibs/labltk/browser/viewer.ml index 4d7afb496..ca7fe5101 100644 --- a/otherlibs/labltk/browser/viewer.ml +++ b/otherlibs/labltk/browser/viewer.ml @@ -40,7 +40,8 @@ let list_modules ~path = let reset_modules box = Listbox.delete box ~first:(`Num 0) ~last:`End; - module_list := Sort.list ~order:(<) (list_modules ~path:!Config.load_path); + module_list := Sort.list ~order:(Jg_completion.lt_string ~nocase:true) + (list_modules ~path:!Config.load_path); Listbox.insert box ~index:`End ~texts:!module_list; Jg_box.recenter box ~index:(`Num 0) |