Dirk Hohndel dd96b03d22 Add ability to reset the settings
This may be a bit crude and it doesn't actually FULLY reset the settings
(as for example the column widths will still be maintained), but it's a
good start, I think.

Fixes #552

Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
2014-06-25 17:46:51 +08:00
..
2014-02-27 20:09:57 -08:00
2014-02-08 08:00:27 -08:00
2014-06-24 17:18:58 +08:00
2014-06-13 14:03:51 -07:00
2014-05-22 11:40:22 -07:00
2014-06-01 15:41:12 -07:00
2014-05-22 11:40:22 -07:00
2014-05-22 11:40:22 -07:00
2014-05-22 11:40:22 -07:00
2014-06-14 14:35:17 -07:00
2014-06-13 14:03:51 -07:00
2014-06-14 14:35:17 -07:00