dash navigation, choosing

[udovdh]

When getting the dash back to vertical that is progress. What I am missing is the dash as a navigation aid. E.g. when having multiple Gnome terminals open, one used to be able to navigate the dash via e.g. arrow keys, etc, and choose a terminal to get made visible. Now the dash icon for terminal only opens a new one, does not extend to show all the terminals that were open. Can this be changed via a setting? Or reenabled in the extension?