--- data/themes/Industrial/greeter-gtk3.ui.orig 2017-08-16 18:07:41.274011389 +0200 +++ data/themes/Industrial/greeter-gtk3.ui 2017-08-16 18:08:40.999009868 +0200 @@ -67,6 +67,7 @@ False GTK_POLICY_NEVER GTK_POLICY_NEVER + 100 True