| Mon, 23 Aug 2010 17:45:06 +0200 | wenzelm | Document_Model.token_marker: lock jEdit buffer here, which is presumably a critical spot (the model is not necessarily accessed from the Swing thread); | changeset | files |
| Mon, 23 Aug 2010 17:35:47 +0200 | wenzelm | sporadic locking of jEdit buffer; | changeset | files |
| Mon, 23 Aug 2010 16:53:22 +0200 | wenzelm | main session actor as independent thread, to avoid starvation via regular worker pool; | changeset | files |