From 61f072de853e82ebb46174d3b9d19a24f94e5fdb Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?mauro=20=F0=9F=A4=99?= <91018726+mauro-balades@users.noreply.github.com> Date: Fri, 30 Aug 2024 13:19:07 +0200 Subject: [PATCH] Update preferences.json --- themes/ad97bb70-0066-4e42-9b5f-173a5e42c6fc/preferences.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/themes/ad97bb70-0066-4e42-9b5f-173a5e42c6fc/preferences.json b/themes/ad97bb70-0066-4e42-9b5f-173a5e42c6fc/preferences.json index fc4583c0..8bb40c2a 100644 --- a/themes/ad97bb70-0066-4e42-9b5f-173a5e42c6fc/preferences.json +++ b/themes/ad97bb70-0066-4e42-9b5f-173a5e42c6fc/preferences.json @@ -5,6 +5,6 @@ "uc.hide-seperator-line": "Hide the seperator line between pinned tabs and the first normal tab", "uc.tab-bar.align-with-navbar": "Aligns the tab bar with the navbar", "uc.workspace-button.remove-border": "Removes the border of the workspace button", - "uc.workspace-button.move-to-bottom": "Move the workspace button to the bottom of the tab bar" + "uc.workspace-button.move-to-bottom": "Move the workspace button to the bottom of the tab bar", "uc.pins.compact": "This makes the pinned tabs more compact by decreasing their width and the gap inbetween them" }