diff --git a/index.html b/index.html index d69a6b0f2..a1ec9f1df 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 2ccb352b6..ce3327674 100644 --- a/options.html +++ b/options.html @@ -6794,7 +6794,7 @@ but are substituted anywhere on a line.
cleanlooks
, gtk2
, motif
, plastique
Use styles from qtstyleplugins
-
Type: null or string
Default: null
Example: "adwaita-dark"
Related packages:
pkgs.adwaita-qt
(adwaita-qt-1.4.0): A style to bend Qt applications to look like they belong into GNOME Shell
pkgs.libsForQt5.qtstyleplugins
(qtstyleplugins-unstable-2017-03-11): Additional style plugins for Qt5, including BB10, GTK, Cleanlooks, Motif, Plastique
Declared by: