Eberhard Graether
bfa43df491
ui: switch to single file mode with snippet maximize
...
* switch back to snippet view with snippet button in file title bar
* use new title bar widget in single view as well
* restore view mode on undo, store current view mode for every message id (added id to message)
* treat view mode switch as adapt message on undo stack
* fixed crash after snippet expansion
* fixed hatching in file title not shown
2017-12-20 20:40:38 +01:00
..
2017-11-23 17:05:15 +01:00
2017-08-10 09:45:55 +02:00
2017-12-15 15:38:43 +01:00
2017-10-03 07:59:59 +02:00
2017-10-03 07:59:59 +02:00
2017-10-03 07:59:59 +02:00
2017-12-20 20:40:38 +01:00
2017-12-20 20:40:38 +01:00
2017-11-24 00:55:29 +01:00
2017-11-24 00:55:29 +01:00
2017-12-20 20:40:38 +01:00
2017-12-20 20:40:38 +01:00
2017-12-20 20:40:38 +01:00
2017-12-20 20:40:38 +01:00
2017-12-20 20:40:38 +01:00
2017-12-20 20:40:38 +01:00
2017-12-20 20:40:38 +01:00
2017-12-20 20:40:38 +01:00
2017-12-20 20:40:38 +01:00
2017-12-17 13:25:11 +01:00
2017-12-20 20:40:38 +01:00
2017-12-17 13:25:11 +01:00
2017-12-20 20:40:38 +01:00
2017-12-20 20:40:38 +01:00
2017-12-20 20:40:38 +01:00
2017-10-24 11:52:37 +02:00
2017-12-11 20:29:51 +01:00
2017-12-11 17:24:20 +01:00
2017-11-02 12:40:50 +01:00
2016-09-15 16:39:57 +02:00
2017-11-25 18:21:19 +01:00
2017-10-25 09:56:31 +02:00
2017-12-15 15:38:43 +01:00
2017-12-15 15:38:43 +01:00
2017-06-05 23:46:50 +02:00
2017-08-10 09:45:55 +02:00
2015-12-08 17:55:12 +01:00
2015-12-08 17:55:12 +01:00
2017-12-11 20:29:51 +01:00
2017-06-07 14:40:16 +02:00
2017-08-08 14:18:14 +02:00
2017-08-08 14:18:14 +02:00
2017-11-25 18:21:19 +01:00
2017-10-19 16:58:47 +02:00
2017-10-03 07:59:59 +02:00
2017-10-03 07:59:59 +02:00
2017-11-25 18:21:19 +01:00
2016-11-15 08:12:14 -08:00
2017-12-10 22:36:32 +01:00
2017-12-08 15:30:44 +01:00
2017-08-10 09:45:55 +02:00
2017-05-19 15:21:34 +02:00
2017-11-02 15:33:35 +01:00
2017-11-02 15:33:35 +01:00
2017-11-02 12:40:50 +01:00
2017-11-02 12:40:50 +01:00
2017-08-10 09:45:55 +02:00
2017-07-31 12:45:22 +02:00
2017-12-15 15:38:43 +01:00
2017-12-15 15:38:43 +01:00
2017-12-10 23:06:37 +01:00
2017-12-11 10:06:22 +01:00