diff --git a/index.html b/index.html index 135b0f1f0..4a43a8ede 100644 --- a/index.html +++ b/index.html @@ -1,6 +1,6 @@ -
ca.desrt.dconf
?+
ca.desrt.dconf
?This manual will eventually describe how to install, use, and extend Home Manager.
diff --git a/options.html b/options.html
index 6dd38c6a1..53b9caaf3 100644
--- a/options.html
+++ b/options.html
@@ -7369,6 +7369,92 @@ key in $XDG_CONFIG_HOME/grobi.conf
.
]
Declared by:
<home-manager/modules/services/grobi.nix>
+ |
services.gromit-mpx.enable
Whether to enable Gromit-MPX annotation tool.
Type: boolean
Default: false
Example: true
Declared by:
+ <home-manager/modules/services/gromit-mpx.nix>
+ |
services.gromit-mpx.package
The gromit-mpx package to use.
Type: package
Default: "pkgs.gromit-mpx"
Declared by:
+ <home-manager/modules/services/gromit-mpx.nix>
+ |
services.gromit-mpx.hotKey
A keysym or raw keycode that toggles the activation state of
+gromit-mpx. Set to null
to disable the
+hotkey in which case you'll have to activate gromit-mpx
+manually using the command line.
+
Type: null or string or positive integer, meaning >0
Default: "F9"
Example: "Insert"
Declared by:
+ <home-manager/modules/services/gromit-mpx.nix>
+ |
services.gromit-mpx.opacity
Opacity of the drawing overlay.
Type: float between 0.0 and 1.0 (inclusive)
Default:
Example:
Declared by:
+ <home-manager/modules/services/gromit-mpx.nix>
+ |
services.gromit-mpx.tools
Tool definitions for gromit-mpx to use. +
Type: list of submodules
Default:
+ [
+
+ {
+ color = "red"; device = "default"; size = 5; type = "pen";
+ }
+
+ {
+ color = "blue"; device = "default"; modifiers =
+ [
+ "SHIFT"
+ ]
+ ; size = 5; type = "pen";
+ }
+
+ {
+ color = "yellow"; device = "default"; modifiers =
+ [
+ "CONTROL"
+ ]
+ ; size = 5; type = "pen";
+ }
+
+ {
+ arrowSize = 1; color = "green"; device = "default"; modifiers =
+ [
+ "2"
+ ]
+ ; size = 6; type = "pen";
+ }
+
+ {
+ device = "default"; modifiers =
+ [
+ "3"
+ ]
+ ; size = 75; type = "eraser";
+ }
+
+ ]
+
Declared by:
+ <home-manager/modules/services/gromit-mpx.nix>
+ |
services.gromit-mpx.tools.*.arrowSize
If not null
, automatically draw an arrow
+at the end of a stroke with the given size.
+
Type: null or positive integer, meaning >0
Default: null
Example: 2
Declared by:
+ <home-manager/modules/services/gromit-mpx.nix>
+ |
services.gromit-mpx.tools.*.color
The stroke (or recolor) color of the tool.
Type: string
Default: "red"
Example: "#ff00ff"
Declared by:
+ <home-manager/modules/services/gromit-mpx.nix>
+ |
services.gromit-mpx.tools.*.device
Use this tool with the given xinput device. The device with +the name default works with any input. +
Type: string
Example: "default"
Declared by:
+ <home-manager/modules/services/gromit-mpx.nix>
+ |
services.gromit-mpx.tools.*.modifiers
Only activate this tool if the given modifiers are also active. +
Type: list of one of "1", "2", "3", "4", "5", "SHIFT", "CONTROL", "ALT", "META"s
Default:
+ [
+
+ ]
+
Example:
+ [
+ "SHIFT"
+ ]
+
Declared by:
+ <home-manager/modules/services/gromit-mpx.nix>
+ |
services.gromit-mpx.tools.*.size
The tool size.
Type: positive integer, meaning >0
Default: 5
Example: 3
Declared by:
+ <home-manager/modules/services/gromit-mpx.nix>
+ |
services.gromit-mpx.tools.*.type
Which type of tool this is.
Type: one of "pen", "eraser", "recolor"
Default: "pen"
Example: "eraser"
Declared by:
+ <home-manager/modules/services/gromit-mpx.nix>
+ |
services.gromit-mpx.undoKey
A keysym or raw keycode that causes gromit-mpx to undo the
+last stroke. Use this key along with the shift key to redo an
+undone stoke. Set to null
to disable the
+undo hotkey.
+
Type: null or string or positive integer, meaning >0
Default: "F10"
Declared by:
+ <home-manager/modules/services/gromit-mpx.nix>
|
services.hound.enable
Whether to enable hound.
Type: boolean
Default: false
Example: true
Declared by:
<home-manager/modules/services/hound.nix>
|
services.hound.databasePath
The Hound database path.
Type: path
Default: "$XDG_DATA_HOME/hound"
Declared by: