So that multiple elements on the page can share the same popup, with different search options.  | 
			||
|---|---|---|
| .. | ||
| actions.js | ||
| codemirror.js | ||
| common-events.js | ||
| display.js | ||
| editor.js | ||
| markdown.js | ||
| settings.js | ||
| shortcuts.js | ||
				
					
						
							So that multiple elements on the page can share the same popup, with different search options.  | 
			||
|---|---|---|
| .. | ||
| actions.js | ||
| codemirror.js | ||
| common-events.js | ||
| display.js | ||
| editor.js | ||
| markdown.js | ||
| settings.js | ||
| shortcuts.js | ||