[00:19] <rbasak> It's possible that I did it under Unity and had forgotten (if it's possible in Unity's UI).
[00:20] <rbasak> In that case though, it might be wise to reset the setting for users on switching DE as they upgrade, as otherwise it becomes a hidden setting and behaviour.
=== JanC is now known as Guest8589
=== JanC_ is now known as JanC
=== alex__ is now known as alex285
=== CrazyMelon is now known as CrazyLemon
=== jzheng is now known as Guest60138
=== lan3y is now known as Laney
=== Guest31630 is now known as RAOF