| applies-to-line-widget.js | Fix: normalizeString -> unquote | 2017-11-09 09:12:10 +08:00 | 
		
			
			
			
			
				| codemirror-default.css | Fix: reorder global comment | 2017-11-01 11:16:46 +08:00 | 
		
			
			
			
			
				| edit.js | Fix: newStyleInUsercss -> newStyleAsUsercss | 2017-11-09 09:12:14 +08:00 | 
		
			
			
			
			
				| lint-defaults-stylelint.js | Change: default linter | 2017-10-06 16:33:49 +08:00 | 
		
			
			
			
			
				| lint.js | Fix: reindent promise | 2017-11-09 09:12:12 +08:00 | 
		
			
			
			
			
				| regexp-tester.js | Fix: no new line before use strict | 2017-11-01 11:13:57 +08:00 | 
		
			
			
			
			
				| source-editor.js | Fix: updateMetas -> updateMeta | 2017-11-09 09:12:13 +08:00 | 
		
			
			
			
			
				| util.js | Add: make dirtyReporter.clear accept a key | 2017-10-16 16:05:48 +08:00 |