The feature works fine for me, other than the problem reported here.
I am not sure there is anything I can do about this bug though. There is no event to notify us when a window moves workspaces/viewports and thus no way to know we need to refresh.
The feature works fine for me, other than the problem reported here.
I am not sure there is anything I can do about this bug though. There is no event to notify us when a window moves workspaces/ viewports and thus no way to know we need to refresh.