You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Copy file name to clipboardexpand all lines: README.md
+1-1
Original file line number
Diff line number
Diff line change
@@ -3,7 +3,7 @@
3
3
4
4
This is an extension for the browser extension [Tree Style Tabs](https://github.com/piroor/treestyletab#readme) (TST). It adds a search box at the bottom of TST's sidebar, allowing to search the titles and URLs (or whatever) of the tabs in the current window/sidebar, optionally case sensitive, as whole word, or by regular expression.
5
5
Matching tabs will be highlighted in the tree, and/or non-matches will be suppressed (see extension preferences).
6
-
Should the search bar not show up after installing this extension, then have a look at `about:addons` > "Extensions" > "TST Tab Search".
6
+
Should the search bar not show up after installing this extension, then have a look at `about:addons` > "Extensions" > "TST Tab Search" > "Preferences".
Copy file name to clipboardexpand all lines: src/common/options.js
+12-4
Original file line number
Diff line number
Diff line change
@@ -16,7 +16,7 @@ const model = {
16
16
panel: {
17
17
title: 'Search Box Options',
18
18
expanded: true,
19
-
description: `<small>These are only loaded when the TST sidebar (or a window) is first opened.</small>`,
19
+
description: `<small>These are only applied when the search box is newly loaded in TST's sidebar. Click <code>(re-)register</code> above to force that.</small>`,
20
20
default: true,children: {
21
21
matchCase: {
22
22
default: false,
@@ -30,9 +30,17 @@ const model = {
30
30
default: false,
31
31
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>`,},
32
32
},
33
+
darkTheme: {
34
+
default: null,
35
+
input: {type: 'menulist',options: [
36
+
{value: null,label: `auto`,},
37
+
{value: false,label: `light`,},
38
+
{value: true,label: `dark`,},
39
+
],prefix: `Color theme:`,},
40
+
},
33
41
placeholder: {
34
42
default: 'Search ...',
35
-
input: {type: 'string',prefix: 'Search box placeholder:',suffix: `<small>For those who want to customize/localize things.</small>`,},
description: `Advanced and/or experimental options, that may break and/or disappear at any time.These may also require a reload of TST, this extension or the sidebars to apply.`,
139
+
description: `Advanced and/or experimental options, that may break and/or disappear at any time.<br>These may also require a reload of TST, this extension or the sidebars to apply.`,
132
140
default: true,children: {
133
141
hideHeader: {
134
142
title: 'Hide Header',
135
-
description: `Hides the header above the search, that says something like "${manifest.name}".<br>NOTE: That header is not part of this extension, but of TST itself, and from a UX perspective, should absolutely be there (by default). It may (in the future?) also be used to switch sub panels or do any number of other things. Please DO NOT raise issues about anything loke that with TST while this option is active!`,
143
+
description: `Hides the header above the search, that says something like "${manifest.name}". Requires re-registering above. On older versions of TST (before v3.7.5), also make sure to correctly size the panel before.<br>NOTE: That header is not part of this extension, but of TST itself, and from a UX perspective, should absolutely be there (by default). It may (in the future?) also be used to switch sub panels or do any number of other things. Please DO NOT raise issues about anything like that with TST while this option is active!`,
136
144
default: '',
137
145
input: {type: 'boolInt',suffix: `I vow to have read the above and not to annoy TST's authors about it.`,off: '',on: `
0 commit comments