From 4b50816fcd41f0277a34a457b5ba4e4fe7ebfe88 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Tor=20Hedin=20Br=C3=B8nner?= Date: Sat, 26 Oct 2019 04:49:40 +0200 Subject: [PATCH] workspace menu: Use symbolic preference icon --- topbar.js | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/topbar.js b/topbar.js index 5e81960..bcb1d72 100644 --- a/topbar.js +++ b/topbar.js @@ -235,7 +235,7 @@ class WorkspaceMenu extends PanelMenu.Button { }); } - this.prefsIcon = createButton('gtk-preferences', 'workspace preference'); + this.prefsIcon = createButton('preferences-system-symbolic', 'workspace preference'); this.prevIcon = createButton('go-previous-symbolic', 'previous workspace setting'); this.nextIcon = createButton('go-next-symbolic', 'next workspace setting');