| .. | 
		
		
			
			
			
			
				| applies-to-line-widget.js | Refactor the entire storage system and the section editor (#518) | 2018-11-07 14:09:29 +08:00 | 
		
			
			
			
			
				| beautify.js | Refactor the entire storage system and the section editor (#518) | 2018-11-07 14:09:29 +08:00 | 
		
			
			
			
			
				| codemirror-default.css | draw fold marks in CSS since some fonts may not have them | 2018-05-06 13:11:19 +03:00 | 
		
			
			
			
			
				| codemirror-default.js | Refactor the entire storage system and the section editor (#518) | 2018-11-07 14:09:29 +08:00 | 
		
			
			
			
			
				| codemirror-factory.js | Refactor the entire storage system and the section editor (#518) | 2018-11-07 14:09:29 +08:00 | 
		
			
			
			
			
				| codemirror-themes.js | Fix: output codemirror themes to a separated file (#538) | 2018-11-07 05:33:14 -06:00 | 
		
			
			
			
			
				| colorpicker-helper.js | Refactor the entire storage system and the section editor (#518) | 2018-11-07 14:09:29 +08:00 | 
		
			
			
			
			
				| edit.css | Remove text-decoration-skip:ink; Closes #229 | 2018-11-11 15:42:36 -06:00 | 
		
			
			
			
			
				| edit.js | Fix: output codemirror themes to a separated file (#538) | 2018-11-07 05:33:14 -06:00 | 
		
			
			
			
			
				| editor-worker.js | Refactor the entire storage system and the section editor (#518) | 2018-11-07 14:09:29 +08:00 | 
		
			
			
			
			
				| global-search.css | toggle narrow width mode tooltips via html+css; code cosmetics | 2017-12-19 02:48:47 +03:00 | 
		
			
			
			
			
				| global-search.js | Refactor the entire storage system and the section editor (#518) | 2018-11-07 14:09:29 +08:00 | 
		
			
			
			
			
				| linter-config-dialog.js | Refactor the entire storage system and the section editor (#518) | 2018-11-07 14:09:29 +08:00 | 
		
			
			
			
			
				| linter-defaults.js | Refactor the entire storage system and the section editor (#518) | 2018-11-07 14:09:29 +08:00 | 
		
			
			
			
			
				| linter-engines.js | Refactor the entire storage system and the section editor (#518) | 2018-11-07 14:09:29 +08:00 | 
		
			
			
			
			
				| linter-help-dialog.js | Refactor the entire storage system and the section editor (#518) | 2018-11-07 14:09:29 +08:00 | 
		
			
			
			
			
				| linter-meta.js | Update usercss-meta (#540) | 2018-11-07 23:33:56 +08:00 | 
		
			
			
			
			
				| linter-report.js | Update usercss-meta (#540) | 2018-11-07 23:33:56 +08:00 | 
		
			
			
			
			
				| linter.js | Refactor the entire storage system and the section editor (#518) | 2018-11-07 14:09:29 +08:00 | 
		
			
			
			
			
				| live-preview.js | Refactor the entire storage system and the section editor (#518) | 2018-11-07 14:09:29 +08:00 | 
		
			
			
			
			
				| match-highlighter-helper.js | Refactor the entire storage system and the section editor (#518) | 2018-11-07 14:09:29 +08:00 | 
		
			
			
			
			
				| refresh-on-view.js | Refactor the entire storage system and the section editor (#518) | 2018-11-07 14:09:29 +08:00 | 
		
			
			
			
			
				| regexp-tester.js | Refactor the entire storage system and the section editor (#518) | 2018-11-07 14:09:29 +08:00 | 
		
			
			
			
			
				| reroute-hotkeys.js | Refactor the entire storage system and the section editor (#518) | 2018-11-07 14:09:29 +08:00 | 
		
			
			
			
			
				| sections-editor-section.js | Refactor the entire storage system and the section editor (#518) | 2018-11-07 14:09:29 +08:00 | 
		
			
			
			
			
				| sections-editor.js | Refactor the entire storage system and the section editor (#518) | 2018-11-07 14:09:29 +08:00 | 
		
			
			
			
			
				| show-keymap-help.js | Refactor the entire storage system and the section editor (#518) | 2018-11-07 14:09:29 +08:00 | 
		
			
			
			
			
				| source-editor.js | Refactor the entire storage system and the section editor (#518) | 2018-11-07 14:09:29 +08:00 | 
		
			
			
			
			
				| util.js | Refactor the entire storage system and the section editor (#518) | 2018-11-07 14:09:29 +08:00 |