Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
buffer as array
authorimmler@in.tum.de
Tue, 18 Nov 2008 22:07:40 +0100
changeset 34374 b41c1b50e0a9
parent 34373 2b730e933006
child 34375 71e86ec7e159
buffer as array
src/Tools/jEdit/src/jedit/ScrollerDockable.scala file | annotate | diff | comparison | revisions 
--- a/src/Tools/jEdit/src/jedit/ScrollerDockable.scala	Tue Nov 18 21:58:22 2008 +0100
+++ b/src/Tools/jEdit/src/jedit/ScrollerDockable.scala	Tue Nov 18 22:07:40 2008 +0100
@@ -195,9 +195,9 @@
 
 
 //containing the unrendered messages
-class MessageBuffer extends HashMap[Int,Document] with Unrendered[Document]{
+class MessageBuffer extends ArrayBuffer[Document] with Unrendered[Document]{
   override def addUnrendered (id: Int, m: Document) {
-    update(id, m)
+    append(m)
   }
   override def getUnrendered (id: Int): Option[Document] = {
     if(id < size && id >= 0 && apply(id) != null) Some (apply(id))
isabelle