| commit | f7f75d55ff37cb7119772a9b9910321733a49d2a | [log] [download] |
|---|---|---|
| author | Florian Nücke <florian@nuecke.de> | Sat Nov 23 23:20:01 2013 +0100 |
| committer | Florian Nücke <florian@nuecke.de> | Sat Nov 23 23:20:01 2013 +0100 |
| tree | 8bd2507f700f55de7cf154b9b4b0def756bc1a49 | |
| parent | 175f0706f3c71bb47e93220870f565184f1ec99c [diff] |
added a "status bar" for the editor and reduced some surplus copying
