13 commits

Author	SHA1	Message	Date
Paulo Reis	90b353298d	Switch themes at runtime.	2018-08-28 14:12:00 +01:00
Paulo Reis	efc926ffc5	Load theme as a user setting; allow the user to change it; update tests.	2018-08-27 15:25:00 +01:00
Brian Gough	19dfe5fc8b	intial version of user setting for texlive imageName	2018-08-13 10:53:43 +01:00
James Allen	dee96920b0	Allow font family and line height to be user configurable	2018-05-10 18:03:54 +01:00
Brian Gough	bf4404b60a	handle null values when saving rootDoc_id	2017-10-18 14:19:45 +01:00
Shane Kilkelly	04c94760f5	Merge branch 'sk-auto-pair-braces' into sk-ac-improvements-integration	2017-07-06 14:39:28 +01:00
Shane Kilkelly	34b2012727	Enable (optional) auto-pairing for latex mode	2017-07-06 11:06:51 +01:00
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