Basile Burg b6ff4fb441 editor, added option to ignore zooom and always apply fontsize, close #12		2016-02-07 18:58:17 +01:00
..
wiki.toc.txt	dub prj tester broken due to json always created	2015-12-16 14:04:53 +01:00
wiki.todo.txt	docking, temp fix until next Laz rlz	2016-02-06 18:17:04 +01:00
wiki.txt	editor, added option to ignore zooom and always apply fontsize, close #12	2016-02-07 18:58:17 +01:00