ensure to better pass focus back to right widget
the toolviews can steal the focus, before we always passed it back to the central area but that might steal focus of fast opened search panes and such try to pass back to old focus widget
the toolviews can steal the focus, before we always passed it back to the central area but that might steal focus of fast opened search panes and such try to pass back to old focus widget
mentioned in commit 6433e714
·mentioned in commit 6433e714