You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

Min RK 928c81df9d setting an option to null sets the default in CodeMirror ... matching the unset behavior in config		11 years ago
..
editor.js	setting an option to null sets the default in CodeMirror	11 years ago
main.js	track dirty state in editor for onbeforeunload	11 years ago
menubar.js	fixup keyMap	11 years ago
notificationarea.js	Rename texteditor files & folders to edit	11 years ago