| .. | 
			
		
		
			
			
			
			
				| 
					
						
							
								
								autocomplete.js
							
						
					
				 | 
				
					
						
							
							parserlib: reuse global keywords
						
					
				 | 
				2021-08-20 13:01:56 +03:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								base.js
							
						
					
				 | 
				
					
						
							
							confirm reload in sectioned editor
						
					
				 | 
				2022-01-10 19:12:29 +03:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								beautify.js
							
						
					
				 | 
				
					
						
							
							show style settings in a dialog (#1374)
						
					
				 | 
				2021-12-29 22:57:22 +03:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								codemirror-default.css
							
						
					
				 | 
				
					
						
							
							API groups + use executeScript for early injection (#1149)
						
					
				 | 
				2021-01-01 17:27:58 +03:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								codemirror-default.js
							
						
					
				 | 
				
					
						
							
							CodeMirror 5.62.3
						
					
				 | 
				2021-08-20 12:16:24 +03:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								codemirror-factory.js
							
						
					
				 | 
				
					
						
							
							fix bookmarks being orphanized/stranded
						
					
				 | 
				2021-06-29 05:45:04 +03:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								codemirror-themes.js
							
						
					
				 | 
				
					
						
							
							CodeMirror 5.62.0
						
					
				 | 
				2021-07-21 13:01:39 +03:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								edit.css
							
						
					
				 | 
				
					
						
							
							resizable header panel (#1378)
						
					
				 | 
				2022-01-13 12:47:37 +03:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								edit.js
							
						
					
				 | 
				
					
						
							
							deduplicate editor.useSavedStyle
						
					
				 | 
				2022-01-10 21:31:15 +03:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								editor-worker.js
							
						
					
				 | 
				
					
						
							
							parserlib: reuse global keywords
						
					
				 | 
				2021-08-20 13:01:56 +03:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								embedded-popup.js
							
						
					
				 | 
				
					
						
							
							API groups + use executeScript for early injection (#1149)
						
					
				 | 
				2021-01-01 17:27:58 +03:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								global-search.css
							
						
					
				 | 
				
					
						
							
							fix search-target-editor style
						
					
				 | 
				2020-12-08 23:03:13 +03:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								global-search.js
							
						
					
				 | 
				
					
						
							
							tidy up USW-related UI and code (#1285)
						
					
				 | 
				2021-07-30 15:44:06 +03:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								linter-dialogs.js
							
						
					
				 | 
				
					
						
							
							fix links in linter help dialog
						
					
				 | 
				2021-08-31 17:22:10 +03:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								linter-manager.js
							
						
					
				 | 
				
					
						
							
							csslint: add "known-pseudos" rule enabled by default (#1328)
						
					
				 | 
				2021-09-02 00:12:29 +03:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								moz-section-finder.js
							
						
					
				 | 
				
					
						
							
							API groups + use executeScript for early injection (#1149)
						
					
				 | 
				2021-01-01 17:27:58 +03:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								moz-section-widget.js
							
						
					
				 | 
				
					
						
							
							avoid FOUC for dark themes in applies-to widget
						
					
				 | 
				2021-09-21 22:51:18 +03:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								regexp-tester.js
							
						
					
				 | 
				
					
						
							
							update regexp report when tab is removed
						
					
				 | 
				2021-09-11 15:58:59 +03:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								sections-editor-section.js
							
						
					
				 | 
				
					
						
							
							resizable header panel (#1378)
						
					
				 | 
				2022-01-13 12:47:37 +03:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								sections-editor.js
							
						
					
				 | 
				
					
						
							
							deduplicate editor.useSavedStyle
						
					
				 | 
				2022-01-10 21:31:15 +03:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								settings.css
							
						
					
				 | 
				
					
						
							
							show style settings in a dialog (#1374)
						
					
				 | 
				2021-12-29 22:57:22 +03:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								settings.js
							
						
					
				 | 
				
					
						
							
							show style settings in a dialog (#1374)
						
					
				 | 
				2021-12-29 22:57:22 +03:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								show-keymap-help.js
							
						
					
				 | 
				
					
						
							
							API groups + use executeScript for early injection (#1149)
						
					
				 | 
				2021-01-01 17:27:58 +03:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								source-editor.js
							
						
					
				 | 
				
					
						
							
							deduplicate editor.useSavedStyle
						
					
				 | 
				2022-01-10 21:31:15 +03:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								tab.css
							
						
					
				 | 
				
					
						
							
							Add: style settings (#1358)
						
					
				 | 
				2021-12-07 12:44:49 +08:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								tab.js
							
						
					
				 | 
				
					
						
							
							Add: style settings (#1358)
						
					
				 | 
				2021-12-07 12:44:49 +08:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								usw-integration.js
							
						
					
				 | 
				
					
						
							
							tidy up USW-related UI and code (#1285)
						
					
				 | 
				2021-07-30 15:44:06 +03:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								util.js
							
						
					
				 | 
				
					
						
							
							show style settings in a dialog (#1374)
						
					
				 | 
				2021-12-29 22:57:22 +03:00 |