add option to hide search flag buttons (close #4)

Author: NiklasGollenstede

src/common/options.js

@@ -30,6 +30,10 @@ const model = {
 				default: false,
 				input: { type: 'boolean', suffix: `<details><summary>Regular Expression:</summary>Search by (JavaScript) regular expression instead of plain string. If you don't know what this is, then you probably don't want it.</details>`, },
 			},
+			hideOptions: {
+				default: false,
+				input: { type: 'boolean', suffix: `<details><summary>Hide Search Options:</summary>Don't show the buttons for the three search options above in the search box. Note that what is selected on this page will still apply to the search.`, },
+			},
 			darkTheme: {
 				default: null,
 				input: { type: 'menulist', options: [

src/content/embed.js

@@ -32,6 +32,7 @@ document.addEventListener('keydown', event => {
 const options = (await messages.request('getOptions'));
 names.slice(1).forEach(name => { inputs[name].checked = options[name]; });
 inputs.term.placeholder = options.placeholder;
+document.documentElement.classList.toggle('hide-options', options.hideOptions);
 if (options.darkTheme != null) {
 	document.documentElement.classList.toggle('dark-theme', options.darkTheme);
 } else {

src/content/form.html

@@ -71,4 +71,7 @@
 		--button-bdc: #fff5;
 		--button-fgc: #fff;
 	}
+
+	:root.hide-options #term { padding-right: 5px; width: calc(100% - 10px); }
+	:root.hide-options #options { display: none; }
 </style>