enso-org/enso
1
1
Fork 0
mirror of https://github.com/enso-org/enso.git synced 2024-12-19 06:31:39 +03:00
Code Issues Projects Releases Wiki Activity

Revert to network (graph) icon for GUI editor tabs (#11759)

Browse Source 
Revert icon to the original icon for GUI editor tabs

# Important Notes
None
This commit is contained in:
somebody1234 2024-12-05 21:02:20 +10:00 committed by GitHub
parent 984aeb9671
commit 8eddcff262
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
app/gui/src/dashboard/pages/dashboard/DashboardTabBar.tsx
View File

@ -1,7 +1,7 @@
/** @file The tab bar for the dashboard page. */ /** @file The tab bar for the dashboard page. */
import DriveIcon from '#/assets/drive.svg' import DriveIcon from '#/assets/drive.svg'
import NetworkIcon from '#/assets/network.svg'
import SettingsIcon from '#/assets/settings.svg' import SettingsIcon from '#/assets/settings.svg'
import WorkspaceIcon from '#/assets/workspace.svg'
import { useEventCallback } from '#/hooks/eventCallbackHooks' import { useEventCallback } from '#/hooks/eventCallbackHooks'
import TabBar from '#/layouts/TabBar' import TabBar from '#/layouts/TabBar'
@ -59,7 +59,7 @@ export function DashboardTabBar(props: DashboardTabBarProps) {
(project) => (project) =>
({ ({
id: project.id, id: project.id,
icon: WorkspaceIcon, icon: NetworkIcon,
'data-testid': 'editor-tab-button', 'data-testid': 'editor-tab-button',
labelId: 'editorPageName' satisfies TextId, labelId: 'editorPageName' satisfies TextId,
// There is no shared enum type, but the other union member is the same type. // There is no shared enum type, but the other union member is the same type.