Removed pilled button preference as it's no longer useful

This commit is contained in:
mr. M
2025-02-17 21:46:16 +01:00
parent b8baca2100
commit 84bbb4ba63
5 changed files with 1 additions and 21 deletions

View File

@@ -939,11 +939,6 @@ Preferences.addAll([
type: 'bool',
default: true,
},
{
id: 'zen.theme.pill-button',
type: 'bool',
default: true,
},
{
id: 'zen.workspaces.hide-default-container-indicator',
type: 'bool',