You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
When using a shortcut that opens a window, the corresponding tab is not immediately added to the taskbar.
This does not happen when using the context menu.
The opposite happens when using the cmd+w shortcut to close a window, then it is not immediately removed from the taskbar.
To Reproduce:
Use a shortcut that opens a window, e.g. cmd+o+b
Notice that the tab does not appear on the taskbar
Trigger a refresh, e.g. by moving the mouse
Now the tab appears
Version information:
Pharo Versions: 13, 12, 11, 10 (didn't check further back)
The text was updated successfully, but these errors were encountered:
Gabriel-Darbord
changed the title
Shortcut that opens window does not refresh taskbar
Shortcut that opens/closes window does not refresh taskbar
Feb 10, 2025
When using a shortcut that opens a window, the corresponding tab is not immediately added to the taskbar.
This does not happen when using the context menu.
The opposite happens when using the
cmd+w
shortcut to close a window, then it is not immediately removed from the taskbar.To Reproduce:
cmd+o+b
Version information:
The text was updated successfully, but these errors were encountered: