equal
deleted
inserted
replaced
193 } |
193 } |
194 |
194 |
195 |
195 |
196 |
196 |
197 //containing the unrendered messages |
197 //containing the unrendered messages |
198 class MessageBuffer extends HashMap[Int,Document] with Unrendered[Document]{ |
198 class MessageBuffer extends ArrayBuffer[Document] with Unrendered[Document]{ |
199 override def addUnrendered (id: Int, m: Document) { |
199 override def addUnrendered (id: Int, m: Document) { |
200 update(id, m) |
200 append(m) |
201 } |
201 } |
202 override def getUnrendered (id: Int): Option[Document] = { |
202 override def getUnrendered (id: Int): Option[Document] = { |
203 if(id < size && id >= 0 && apply(id) != null) Some (apply(id)) |
203 if(id < size && id >= 0 && apply(id) != null) Some (apply(id)) |
204 else None |
204 else None |
205 } |
205 } |