rename windowman modules and references

src/scripts/GUI/builder/extras.js

@@ -0,0 +1,11 @@
+
+import {Search} from "./search.js";
+import {Tabs} from "./tabs.js";
+import {NavigationBar} from "./navigation.js";
+
+class UI {}
+UI.search = Search;
+UI.tabs = Tabs;
+UI[`navigation bar`] = NavigationBar;
+
+export {UI as default};

src/scripts/GUI/builder/windowman.extras.js

@@ -1,9 +0,0 @@
-
-import {Search} from "./windowman.search.js";
-import {Tabs} from "./windowman.tabs.js";
-
-class UI {}
-UI.search = Search;
-UI.tabs = Tabs;
-
-export {UI as default};

src/scripts/GUI/builder/windowman.js

@@ -7,7 +7,7 @@ import {global, background} from "/scripts/secretariat.js";
 import {URLs} from "/scripts/utils/URLs.js";
 import wait from "/scripts/utils/wait.js";
 import logging from "/scripts/logging.js";
-import UI from "/scripts/GUI/builder/windowman.extras.js";
+import UI from "/scripts/GUI/builder/extras.js";
 
 export default class windowman {
 	elements = {};