Update preferences.json

This commit is contained in:
mauro 🤙 2024-08-30 13:19:07 +02:00 committed by GitHub
parent 755f2c8373
commit 61f072de85
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -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"
}