| .. | 
		
		
			
			
			
			
				| applies-to-line-widget.js | rewrite colorview to use CodeMirror::TextMarker | 2017-12-22 11:22:35 +03:00 | 
		
			
			
			
			
				| beautify.js | extract checkboxes to global.css, fixes | 2017-12-05 04:39:29 +03:00 | 
		
			
			
			
			
				| codemirror-default.css | .CodeMirror-dialog: shorten yellow highlight bright phase | 2017-12-18 10:27:50 +03:00 | 
		
			
			
			
			
				| codemirror-default.js | select entire CSS token on double click | 2017-12-22 16:23:20 +03:00 | 
		
			
			
			
			
				| codemirror-editing-hooks.js | editor: rewrite global search/replace | 2017-12-18 10:27:50 +03:00 | 
		
			
			
			
			
				| colorpicker-helper.js | rewrite colorview to use CodeMirror::TextMarker | 2017-12-22 11:22:35 +03:00 | 
		
			
			
			
			
				| edit.css | code cosmetics: silence a warning in edit.css | 2017-12-18 10:27:50 +03:00 | 
		
			
			
			
			
				| edit.js | make editor fully clean on saving | 2017-12-18 10:27:50 +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 | toggle narrow width mode tooltips via html+css; code cosmetics | 2017-12-19 02:48:47 +03:00 | 
		
			
			
			
			
				| lint-codemirror-helper.js | render lint squigglies 4x faster | 2017-12-01 03:49:09 +03:00 | 
		
			
			
			
			
				| lint-defaults-csslint.js | regroup some of lint* data and code | 2017-08-28 15:20:37 +03:00 | 
		
			
			
			
			
				| lint-defaults-stylelint.js | Change: default linter | 2017-10-06 16:33:49 +08:00 | 
		
			
			
			
			
				| lint.js | remove what-input, use own implementation, rebase on master | 2017-12-13 03:27:10 +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 | trivial speed-ups for the single editor case | 2017-12-18 10:27:50 +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 | rewrite colorview to use CodeMirror::TextMarker | 2017-12-22 11:22:35 +03:00 | 
		
			
			
			
			
				| util.js | Add: make dirtyReporter.clear accept a key | 2017-10-16 16:05:48 +08:00 |