Just found a method of reproducing this bug:-
1. Using the wall plugin, keep switching between two workspaces until the
animation gets stuck and jumps to the next workspace (another bug?)
2. Then change a tab in Firefox or Pidgin and note that the window title does
not change. Resizing the window solves the issue.
Just found a method of reproducing this bug:-
1. Using the wall plugin, keep switching between two workspaces until the
animation gets stuck and jumps to the next workspace (another bug?)
2. Then change a tab in Firefox or Pidgin and note that the window title does
not change. Resizing the window solves the issue.
--
Kind regards,
Chow Loong Jin