improve FloatingGapWindow creation/deletion

Authored by mvourlakos on Jan 22 2020, 12:06 PM.

Description

improve FloatingGapWindow creation/deletion

--create FloatingGapWindow the first time needed
from VisibilityManager if it is not already created.
--remove FloatingGapWindow when View::screenEdgeMarginEnabled
is disabled

Details

Committed
mvourlakosJan 22 2020, 12:06 PM
Parents
R878:ad61f897af73: improve semantics
Branches
Unknown
Tags
Unknown