Erik Faye-Lund 3178f22c2a editor: replace document when loading
Simplify the book-keeping a bit by simply creating a new document
when loading. Copy the ClientSocket to the new document to keep
client-state.
2011-03-29 20:24:41 +02:00
..
2010-09-05 15:37:54 +02:00
2010-11-17 23:18:42 +01:00
2010-11-17 23:18:42 +01:00
2010-11-02 18:58:13 +01:00