mirror of
https://github.com/nix-community/home-manager.git
synced 2025-12-06 17:11:03 +01:00
deploy: 60964ff845
This commit is contained in:
parent
c0531c2437
commit
073c94ba63
1 changed files with 5 additions and 5 deletions
|
|
@ -79658,15 +79658,15 @@ attribute set of (INI atom (null, bool, int, float or string))</p>
|
||||||
{
|
{
|
||||||
actions = "true";
|
actions = "true";
|
||||||
anchor = "top-right";
|
anchor = "top-right";
|
||||||
backgroundColor = "#000000";
|
background-color = "#000000";
|
||||||
borderColor = "#FFFFFF";
|
border-color = "#FFFFFF";
|
||||||
borderRadius = "0";
|
border-radius = "0";
|
||||||
defaultTimeout = "0";
|
default-timeout = "0";
|
||||||
font = "monospace 10";
|
font = "monospace 10";
|
||||||
height = "100";
|
height = "100";
|
||||||
width = "300";
|
width = "300";
|
||||||
icons = "true";
|
icons = "true";
|
||||||
ignoreTimeout = "false";
|
ignore-timeout = "false";
|
||||||
layer = "top";
|
layer = "top";
|
||||||
margin = "10";
|
margin = "10";
|
||||||
markup = "true";
|
markup = "true";
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue