4 Commits

Author	SHA1	Message	Date
Jonatan Heyman	5f98323586	Add setting for turning on/off line number gutters and fold gutters	2023-01-27 17:18:31 +01:00
Jonatan Heyman	751dfa0a73	Add File menu on Windows	2023-01-24 17:08:38 +01:00
Jonatan Heyman	924fd4b226	Replace block separators with "\n\n" when copying text. ... Add Settings dialog. Started implementing Emacs-like keymap.	2023-01-20 15:33:26 +01:00
Jonatan Heyman	96bd5f1f95	Change menu.js file to typescript file ... #build	2023-01-15 12:49:43 +01:00