| .. | 
		
		
			
			
			
			
				| applies-to-line-widget.js | make a copy of the applies-to template | 2018-07-22 16:36:50 +03:00 | 
		
			
			
			
			
				| beautify.js | expose 'preserve_newlines' in beautifier; dehtmlize | 2018-07-23 00:28:11 +03: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 | fixup 74ef2f6f: 'editors' is a const | 2018-07-10 11:45:52 +03:00 | 
		
			
			
			
			
				| codemirror-editing-hooks.js | preserve linebreaks in live-preview error text | 2018-08-06 13:13:15 +03:00 | 
		
			
			
			
			
				| colorpicker-helper.js | rewrite colorview to use CodeMirror::TextMarker | 2017-12-22 11:22:35 +03:00 | 
		
			
			
			
			
				| csslint-loader.js | move linter worker loaders to edit/ | 2018-07-10 11:35:19 +03:00 | 
		
			
			
			
			
				| edit.css | add buttons to restore, clone, move a section | 2018-07-23 21:24:35 +03:00 | 
		
			
			
			
			
				| edit.js | simplify listener registration | 2018-08-07 20:11:11 +03: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 | actually run restoreWindowScrollPos in a microtask | 2018-08-16 18:09:50 +03:00 | 
		
			
			
			
			
				| lint-codemirror-helper.js | code cosmetics | 2018-08-06 15:11:27 +03:00 | 
		
			
			
			
			
				| lint-defaults-csslint.js | report invalid selector in :not() as a warning | 2018-03-03 17:28:29 +03:00 | 
		
			
			
			
			
				| lint-defaults-stylelint.js | Change: default linter | 2017-10-06 16:33:49 +08:00 | 
		
			
			
			
			
				| lint.js | add buttons to restore, clone, move a section | 2018-07-23 21:24:35 +03:00 | 
		
			
			
			
			
				| match-highlighter-helper.js | match-highlighter: always use originalToken | 2017-12-18 10:27:50 +03:00 | 
		
			
			
			
			
				| regexp-tester.js | more things made focusable | 2017-12-13 07:38:36 +03:00 | 
		
			
			
			
			
				| sections.js | add buttons to restore, clone, move a section | 2018-07-23 21:24:35 +03:00 | 
		
			
			
			
			
				| show-keymap-help.js | off-by-one in showKeyMapHelp: text after <mark> was lost | 2017-12-09 20:43:47 +03:00 | 
		
			
			
			
			
				| source-editor.js | fix headerOnScroll | 2018-08-24 14:31:29 +03:00 | 
		
			
			
			
			
				| stylelint-loader.js | move linter worker loaders to edit/ | 2018-07-10 11:35:19 +03:00 | 
		
			
			
			
			
				| util.js | add buttons to restore, clone, move a section | 2018-07-23 21:24:35 +03:00 |