-
Focused TerminalDisplay is used as a source of tab and window name, for activity monitoring, splits headers highlighting, etc. With this change TerminalDisplay is considered focused even when actual focus is e.g. in its search box or popup menu.
9ee21b9c