-
Guido Günther authored
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>
9569fe9d