src/Tools/jEdit/src/plugin.scala
changeset 44609 6ec4a5eb2fc0
parent 44606 b625650aa2db
child 44615 a4ff8a787202
     1.1 --- a/src/Tools/jEdit/src/plugin.scala	Wed Aug 31 17:22:49 2011 +0200
     1.2 +++ b/src/Tools/jEdit/src/plugin.scala	Wed Aug 31 17:36:10 2011 +0200
     1.3 @@ -15,7 +15,6 @@
     1.4  
     1.5  import scala.collection.mutable
     1.6  import scala.swing.{ComboBox, ListView, ScrollPane}
     1.7 -import scala.util.Sorting
     1.8  
     1.9  import org.gjt.sp.jedit.{jEdit, GUIUtilities, EBMessage, EBPlugin,
    1.10    Buffer, EditPane, ServiceManager, View}
    1.11 @@ -365,12 +364,11 @@
    1.12        val thys =
    1.13          for (buffer <- buffers; model <- Isabelle.document_model(buffer))
    1.14            yield (model.master_dir, model.thy_name)
    1.15 -      val files = thy_info.dependencies(thys).map(_._1).filterNot(loaded_buffer _)
    1.16 +      val files = thy_info.dependencies(thys).toList.map(_._1).filterNot(loaded_buffer _)
    1.17  
    1.18        if (!files.isEmpty) {
    1.19 -        val files_sorted = { val a = files.toArray; Sorting.quickSort(a); a.toList }
    1.20 -        val files_list = new ListView(files_sorted)
    1.21 -        for (i <- 0 until files_sorted.length)
    1.22 +        val files_list = new ListView(Library.sort_strings(files))
    1.23 +        for (i <- 0 until files.length)
    1.24            files_list.selection.indices += i
    1.25  
    1.26          val answer =