Felix Häusler d7defe97dd Allow to set editor line width and window zoom (#1092) ... * Allow to set editor line width and window zoom * Improve input text changed event * Make textbox smaller		2019-06-16 15:39:02 +02: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.json	Allow to set editor line width and window zoom (#1092)	2019-06-16 15:39:02 +02:00