Commit graph

6 commits

Author SHA1 Message Date
Paulo Reis
ddee75e479 Use a getterSetter to manage int values in settings. 2017-06-20 17:08:53 +01:00
Paulo Reis
238e07ddde Save syntax checking as a user setting. 2016-10-25 14:59:20 +01:00
Brian Gough
9177544ed9 add left menu for syntax validator 2016-10-06 11:51:24 +01:00
James Allen
2b85ebf8ec Allow root doc to be set 2014-07-21 15:09:19 +01:00
James Allen
abf04f7e1a Make pdfjs default if not set 2014-07-16 17:05:57 +01:00
James Allen
8ed03694c3 Add missing files 2014-07-08 12:02:26 +01:00