Felix Häusler dfffc73e69 Line ending (#234) ... * Prepare line ending feature * Detect document line ending * Line ending conversion * Add "endOfLine" settings option * Add line ending menu * Notify user about mixed endings * Fixes * Change line ending menu entries to radio style		2018-05-09 20:29:40 +08:00
..
themes	Smaller scrollbars and hover color (#245)	2018-05-06 01:20:52 +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	Line ending (#234)	2018-05-09 20:29:40 +08:00