Implement custom icons per workspace. (#261)
* Implement custom icons per workspace. * Finish custom workspace icon implementation * Remove unsupported color definition.
This commit is contained in:
@@ -136,6 +136,14 @@ export const BarSettings = (): Scrollable<Gtk.Widget, Gtk.Widget> => {
|
||||
******************************
|
||||
*/
|
||||
Header('Workspaces'),
|
||||
Option({
|
||||
opt: options.theme.bar.buttons.workspaces.fontSize,
|
||||
title: 'Indicator Size',
|
||||
subtitle:
|
||||
'Only applicable to numbered workspaces and mapped icons\n' +
|
||||
'Adjust with caution as it may cause the bar to expand',
|
||||
type: 'string',
|
||||
}),
|
||||
Option({
|
||||
opt: options.bar.workspaces.show_icons,
|
||||
title: 'Show Workspace Icons',
|
||||
@@ -180,6 +188,16 @@ export const BarSettings = (): Scrollable<Gtk.Widget, Gtk.Widget> => {
|
||||
subtitle: 'Only applicable if Workspace Numbers are enabled',
|
||||
type: 'string',
|
||||
}),
|
||||
Option({
|
||||
opt: options.bar.workspaces.showWsIcons,
|
||||
title: 'Map Workspaces to Icons',
|
||||
type: 'boolean',
|
||||
}),
|
||||
Option({
|
||||
opt: options.bar.workspaces.workspaceIconMap,
|
||||
title: 'Workspace Icon Mappings',
|
||||
type: 'object',
|
||||
}),
|
||||
Option({
|
||||
opt: options.bar.workspaces.spacing,
|
||||
title: 'Spacing',
|
||||
|
||||
Reference in New Issue
Block a user