Anderson 62295d7872 feature: add editorFont setting in user preference. (#175) ... * feature: add editorFont setting in user preference. * Remove unused code. * Update editor.js * Update preference.md * Add editorFontFamily fallback * Remove unused code.		2018-04-18 22:04:47 +08:00
..
themes	Use HTTPS instead of HTTP (#158)	2018-04-16 10:47:46 +08:00
.gitkeep	first commit	2017-11-13 00:05:57 +08:00
logo-96px.png	Allow exiting full screen with maximize button on windows (#109)	2018-03-31 17:33:02 +08:00
logo-small.png	change logo: special thanks to @Yasujizr	2018-03-22 01:32:10 +08:00
preference.md	feature: add editorFont setting in user preference. (#175)	2018-04-18 22:04:47 +08:00