2023-07-11 15:29:36 +08:00
|
|
|
[module/workspace]
|
2023-07-05 14:38:35 +08:00
|
|
|
type = internal/xworkspaces
|
|
|
|
|
|
|
|
|
|
enable-click = true
|
|
|
|
|
enable-scroll = false
|
|
|
|
|
|
|
|
|
|
index-sort = true
|
|
|
|
|
|
2023-07-11 15:29:36 +08:00
|
|
|
label-active =
|
2023-07-05 14:38:35 +08:00
|
|
|
label-active-foreground = ${color.green}
|
|
|
|
|
;label-active-background = ${color.altbackground}
|
|
|
|
|
label-active-padding = 1
|
|
|
|
|
|
2023-07-11 15:29:36 +08:00
|
|
|
label-occupied =
|
2023-07-05 14:38:35 +08:00
|
|
|
label-occupied-foreground = ${color.accent}
|
|
|
|
|
;label-occupied-background = ${color.altbackground}
|
|
|
|
|
label-occupied-padding = 1
|
|
|
|
|
|
2023-07-11 15:29:36 +08:00
|
|
|
label-empty =
|
2023-07-05 14:38:35 +08:00
|
|
|
label-empty-foreground = ${color.accent}
|
|
|
|
|
;label-empty-background = ${color.altbackground}
|
2023-07-11 15:29:36 +08:00
|
|
|
label-empty-padding = 1
|
