diff --git a/options.html b/options.html index 525a23b5..2160987b 100644 --- a/options.html +++ b/options.html @@ -7629,7 +7629,11 @@ but are substituted anywhere on a line.
Type: qtstyleplugins
gnome
Use GNOME theme with qgnomeplatform -
kde
Use Qt settings from Plasma
Type: null or one of "gtk", "gnome", "kde"
Default: null
Example: "gnome"
Related packages:
pkgs.qgnomeplatform
(qgnomeplatform-0.8.4): QPlatformTheme for a better Qt application inclusion in GNOME
pkgs.libsForQt5.qtstyleplugins
(qtstyleplugins-unstable-2017-03-11): Additional style plugins for Qt5, including BB10, GTK, Cleanlooks, Motif, Plastique
Declared by: