sync launchers when needed

Authored by mvourlakos on Nov 25 2018, 12:22 AM.

Description

sync launchers when needed

--this way all synced docks/panels are all
updated concerning where their launchers are
placed and in which activities are shown

Details

Committed
mvourlakosNov 25 2018, 12:24 AM
Parents
R878:9ac1ccd53c70: simplify TaskWindows and avoid a crash
Branches
Unknown
Tags
Unknown