Closed Seeker04 closed 3 weeks ago
menu:reindex_workspace/0
works on the active workspace and after reindexing it remains the active one.
menu:goto_workspace/0
omits the active workspace because there is no point going to where we already are.
Note: when using multiple monitors, instances of the reindexed workspace belonging to the non-active monitors do appear on the list (at the correct index).
Both these predicates work in the intended way, the issue can be closed.
If a workspace is moved using
menu:reindex_workspace/0
and then the user immediately callsmenu:goto_workspace/0
, then the moved workspace is not visible in the menu.However:
switch_workspace/1
, the goto menu also starts showing the moved workspace (at the right index).