nix-community/plasma-manager
1
1
Fork 0
mirror of https://github.com/nix-community/plasma-manager.git synced 2024-09-11 09:55:26 +03:00
Code Issues Actions Packages Projects Releases Wiki Activity

Standardize Enums Options for widget-specific options (#246)

Browse Source
This commit is contained in:
Heitor Augusto 2024-07-05 05:27:55 -03:00 committed by GitHub
parent 8bf9cfdc18
commit 71c3fb6eb0
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 23 additions and 23 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

46
modules/widgets/application-title-bar.nix
View File

@ -26,8 +26,8 @@ let
fontType = types.submodule { fontType = types.submodule {
options = { options = {
bold = mkBoolOption "Enable bold text."; bold = mkBoolOption "Enable bold text.";
fit = mkEnumOption [ "FixedSize" "HorizontalFit" "VerticalFit" "Fit" ] // { fit = mkEnumOption [ "fixedSize" "horizontalFit" "verticalFit" "fit" ] // {
example = "FixedSize"; example = "fixedSize";
description = "The mode of the size of the font."; description = "The mode of the size of the font.";
}; };
size = mkOption { size = mkOption {
@ -98,8 +98,8 @@ in
description = "The vertical alignment of the widget."; description = "The vertical alignment of the widget.";
apply = convertVerticalAlignment; apply = convertVerticalAlignment;
}; };
showDisabledElements = mkEnumOption [ "Deactivated" "HideKeepSpace" "Hide" ] // { showDisabledElements = mkEnumOption [ "deactivated" "hideKeepSpace" "hide" ] // {
example = "Deactivated"; example = "deactivated";
description = "How to show the elements when the widget is disabled."; description = "How to show the elements when the widget is disabled.";
}; };
fillFreeSpace = mkBoolOption "Whether the widget should fill the free space on the panel."; fillFreeSpace = mkBoolOption "Whether the widget should fill the free space on the panel.";
@ -123,8 +123,8 @@ in
}; };
}; };
windowControlButtons = { windowControlButtons = {
iconSource = mkEnumOption [ "Plasma" "Breeze" "Aurorae" "Oxygen" ] // { iconSource = mkEnumOption [ "plasma" "breeze" "aurorae" "oxygen" ] // {
example = "Plasma"; example = "plasma";
description = '' description = ''
The icon source for the control buttons. The icon source for the control buttons.
@ -192,15 +192,15 @@ in
default = null; default = null;
description = "The text to show when the window title is undefined."; description = "The text to show when the window title is undefined.";
}; };
source = mkEnumOption [ "AppName" "Decoration" "GenericAppName" "AlwaysUndefined" ] // { source = mkEnumOption [ "appName" "decoration" "genericAppName" "alwaysUndefined" ] // {
example = "AppName"; example = "appName";
description = '' description = ''
The source of the window title. The source of the window title.
- AppName: The name of the application - appName: The name of the application
- Decoration: The title of the window decoration - decoration: The title of the window decoration
- GenericAppName: The generic name of the application - genericAppName: The generic name of the application
- AlwaysUndefined: Always show the undefined title - alwaysUndefined: Always show the undefined title
''; '';
}; };
margins = mkOption { margins = mkOption {
@ -241,27 +241,27 @@ in
The elements to show in the widget for maximized windows. The elements to show in the widget for maximized windows.
''; '';
}; };
source = mkEnumOption [ "AppName" "Decoration" "GenericAppName" "AlwaysUndefined" ] // { source = mkEnumOption [ "appName" "decoration" "genericAppName" "alwaysUndefined" ] // {
example = "AppName"; example = "appName";
description = '' description = ''
The source of the window title for maximized windows. The source of the window title for maximized windows.
- AppName: The name of the application - appName: The name of the application
- Decoration: The title of the window decoration - decoration: The title of the window decoration
- GenericAppName: The generic name of the application - genericAppName: The generic name of the application
- AlwaysUndefined: Always show the undefined title - alwaysUndefined: Always show the undefined title
''; '';
}; };
}; };
behavior = { behavior = {
activeTaskSource = mkEnumOption [ "ActiveTask" "LastActiveTask" "LastActiveMaximized" ] // { activeTaskSource = mkEnumOption [ "activeTask" "lastActiveTask" "lastActiveMaximized" ] // {
example = "ActiveTask"; example = "activeTask";
description = '' description = ''
The source of the active task. The source of the active task.
- ActiveTask: The active task - activeTask: The active task
- LastActiveTask: The last active task - lastActiveTask: The last active task
- LastActiveMaximized: The last active maximized task - lastActiveMaximized: The last active maximized task
''; '';
}; };
filterByActivity = mkBoolOption "Whether to filter the tasks by activity."; filterByActivity = mkBoolOption "Whether to filter the tasks by activity.";