-
Committer:
Rico Tzschichholz
-
Date:
2013-10-08 21:30:30 UTC
-
Revision ID:
ricotz@ubuntu.com-20131008213030-u2a3d45pyse6np9v
dockwindow: Update input-mask after calling draw_dock
This is needed to set it based on the updated cursor-region. Otherwise
the input-mask and the cursor-region, which is used to check whether
dock is hovered or not, are out of sync.