Summary:

     The workspace information wasn't getting updated in the workspace-switcher-panel-plugin(wsp)
     when the workspace was changed via keyboard-shortcut, for example <ctrl-F2> etc.
     Specifically, the tooltip for the wsp would show the incorrect number for the current workspace.

Details:
     The wsp menu always did indicate the correct workspace number because the user has to click
     on the wsp to display the menu. The click-action sends a signal which updates the workspace info
     in the menu. But, the tooltip doesn't necessarily display the correct workspace number unless the
     user clicks on a workspace in the menu.

To reproduce the problem:
     1. The current workspace is workspace 1.
     2. Change to a different workspace via keyboard-shortcut, for example <ctrl-F2>.
     3. Mouse-hover over the wsp and the tooltip displays the previous workspace number which is incorrect.

Code Changes:
     The code changes are small and limited to the two source files in the desktopswitcher subdir.

0 files changed, 0 insertions, 0 deletions