Added Smart Highlighting for mapped workspaces. (#288)
* Improved workspace highlighting and added smart highlight option * Added to default workspace variant. * Remove hover effects * Remove unused functions. * Remove unused hover properties * Remove unused variable from utils. * Make hideUnoccupied the default option
This commit is contained in:
@@ -230,6 +230,14 @@ export const BarSettings = (): Scrollable<Gtk.Widget, Gtk.Widget> => {
|
||||
type: 'enum',
|
||||
enums: ['underline', 'highlight', 'color'],
|
||||
}),
|
||||
Option({
|
||||
opt: options.theme.bar.buttons.workspaces.smartHighlight,
|
||||
title: 'Smart Highlight',
|
||||
subtitle:
|
||||
'Automatically determines the highlight color of the workspace icon.\n' +
|
||||
'Only compatible with mapped icons.',
|
||||
type: 'boolean',
|
||||
}),
|
||||
Option({
|
||||
opt: options.theme.bar.buttons.workspaces.numbered_active_highlight_border,
|
||||
title: 'Highlight Radius',
|
||||
|
||||
Reference in New Issue
Block a user