From 5d94c0a7d44a2255b81815a52a7056a94a39842d Mon Sep 17 00:00:00 2001 From: nippy Date: Sat, 18 Apr 2026 13:49:56 +0200 Subject: update Raveos themes --- .../dependencies/shell/ui.js | 18 ++++++++++++++++++ 1 file changed, 18 insertions(+) create mode 100644 raveos-theme/gnome/theme-data/extensions/installed/dash-to-dock@micxgx.gmail.com/dependencies/shell/ui.js (limited to 'raveos-theme/gnome/theme-data/extensions/installed/dash-to-dock@micxgx.gmail.com/dependencies/shell/ui.js') diff --git a/raveos-theme/gnome/theme-data/extensions/installed/dash-to-dock@micxgx.gmail.com/dependencies/shell/ui.js b/raveos-theme/gnome/theme-data/extensions/installed/dash-to-dock@micxgx.gmail.com/dependencies/shell/ui.js new file mode 100644 index 0000000..33f1082 --- /dev/null +++ b/raveos-theme/gnome/theme-data/extensions/installed/dash-to-dock@micxgx.gmail.com/dependencies/shell/ui.js @@ -0,0 +1,18 @@ +export * as AppDisplay from 'resource:///org/gnome/shell/ui/appDisplay.js'; +export * as AppMenu from 'resource:///org/gnome/shell/ui/appMenu.js'; +export * as AppFavorites from 'resource:///org/gnome/shell/ui/appFavorites.js'; +export * as BoxPointer from 'resource:///org/gnome/shell/ui/boxpointer.js'; +export * as DND from 'resource:///org/gnome/shell/ui/dnd.js'; +export * as Dash from 'resource:///org/gnome/shell/ui/dash.js'; +export * as Layout from 'resource:///org/gnome/shell/ui/layout.js'; +export * as Main from 'resource:///org/gnome/shell/ui/main.js'; +export * as Overview from 'resource:///org/gnome/shell/ui/overview.js'; +export * as OverviewControls from 'resource:///org/gnome/shell/ui/overviewControls.js'; +export * as PointerWatcher from 'resource:///org/gnome/shell/ui/pointerWatcher.js'; +export * as PopupMenu from 'resource:///org/gnome/shell/ui/popupMenu.js'; +export * as SearchController from 'resource:///org/gnome/shell/ui/searchController.js'; +export * as ShellMountOperation from 'resource:///org/gnome/shell/ui/shellMountOperation.js'; +export * as Workspace from 'resource:///org/gnome/shell/ui/workspace.js'; +export * as WorkspaceSwitcherPopup from 'resource:///org/gnome/shell/ui/workspaceSwitcherPopup.js'; +export * as WorkspaceThumbnail from 'resource:///org/gnome/shell/ui/workspaceThumbnail.js'; +export * as WorkspacesView from 'resource:///org/gnome/shell/ui/workspacesView.js'; -- cgit v1.3