Paulo Reis 32ff66b0dd Add two more font-size options to the editor.		2018-08-28 14:52:25 +01:00
..
coffee	Switch themes at runtime.	2018-08-28 14:12:00 +01:00
templates/project_files	Fix typo and file extension in example tex template	2018-02-06 10:27:10 +00:00
views	Add two more font-size options to the editor.	2018-08-28 14:52:25 +01:00