5 commits

Author	SHA1	Message	Date
Manas	a2ba1b8189	Uses editorconfig to maintain consistent coding styles ... Removes the following as they unnecessary /* -*- Mode: Java; tab-width: 2; indent-tabs-mode: nil; c-basic-offset: 2 -*- */ /* vim: set shiftwidth=2 tabstop=2 autoindent cindent expandtab: */	2015-11-14 07:32:18 +05:30
Jonas Jenwald	5cd6dddeee	Convert the existing overlays to use the OverlayManager	2014-05-25 21:33:15 +02:00
Tim van der Meij	c952b6fb85	Miscellaneous improvements for the document properties dialog	2014-01-23 00:30:48 +01:00
Tim van der Meij	5f7ded4ff6	Document properties	2014-01-22 00:07:07 +01:00
Tim van der Meij	63233fa8c2	Improved password prompt	2013-09-24 17:46:54 +02:00