Page and view tab search menu
The page and view tab search menu lets users find and jump to a page or view tab by name, without manually sifting through tabs. This HERE Core UI v24+ feature is especially useful in browsers with many tabs.
When enabled, a drop-down menu to the right of the page and or view tab bar shows all open tabs, plus a search menu. Selecting a result switches to that page or view tab.
info
The pre-existing right-click menu is unchanged.
Configuration
Set the optional tabSearchButton option under workspacePlatform to viewTabs, pageTabs, or both.
Enable globally for all windows
await WorkspacePlatform.init({
browser: {
defaultWindowOptions: {
workspacePlatform: {
tabSearchButton: {
viewTabs: { enabled: true },
pageTabs: { enabled: true },
},
pages: [/* ... */],
},
},
},
});
Enable per window
const platform = WorkspacePlatform.getCurrentSync();
await platform.Browser.createWindow({
workspacePlatform: {
tabSearchButton: {
viewTabs: { enabled: true },
pageTabs: { enabled: true },
},
pages: [/* ... */],
},
});