diff options
| author | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2000-06-05 05:44:59 +0000 |
|---|---|---|
| committer | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2000-06-05 05:44:59 +0000 |
| commit | 117bc6b80b33419e07fa80b3b21fdbe08e21328b (patch) | |
| tree | 607c4de18d50ee20b3076de4854a687b2df2a9b0 | |
| parent | d2fa1903539cb97a31c958d3ed7e1689e6e18307 (diff) | |
sort modules ignoring case
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3184 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| -rw-r--r-- | otherlibs/labltk/browser/jg_completion.mli | 2 | ||||
| -rw-r--r-- | otherlibs/labltk/browser/viewer.ml | 3 |
2 files changed, 4 insertions, 1 deletions
diff --git a/otherlibs/labltk/browser/jg_completion.mli b/otherlibs/labltk/browser/jg_completion.mli index 486144ceb..97cadcebf 100644 --- a/otherlibs/labltk/browser/jg_completion.mli +++ b/otherlibs/labltk/browser/jg_completion.mli @@ -13,6 +13,8 @@ (* $Id$ *) +val lt_string : ?nocase:bool -> string -> string -> bool + class timed : ?nocase:bool -> ?wait:int -> string list -> object val mutable texts : string list method add : string -> int 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) |