Guido Gunther authored Oct 08, 2020 and Guido Gunther committed Oct 26, 2020

Docked manager figures out if a device has enough
hardware around to be treated as desktop/laptop.
If so it sets the corresponding settings like
floating windows, etc.

The quick setting allows to override this.
Signed-off-by: Guido Günther <guido.gunther@puri.sm>