src/Tools/jEdit/src/plugin.scala
changeset 45900 793bf5fa5fbf
parent 45158 db4bf4fb5492
child 46117 edd50ec8d471
     1.1 --- a/src/Tools/jEdit/src/plugin.scala	Fri Dec 16 12:03:33 2011 +0100
     1.2 +++ b/src/Tools/jEdit/src/plugin.scala	Fri Dec 16 13:37:08 2011 +0100
     1.3 @@ -379,7 +379,7 @@
     1.4          filter(file => !loaded_buffer(file) && Isabelle.thy_load.check_file(view, file))
     1.5  
     1.6        if (!files.isEmpty) {
     1.7 -        val files_list = new ListView(Library.sort_strings(files))
     1.8 +        val files_list = new ListView(files.sorted)
     1.9          for (i <- 0 until files.length)
    1.10            files_list.selection.indices += i
    1.11