Commit 9ee21b9c authored by Committed by Kurt HindenburgBrowse files
Report TerminalDisplay focus when any of its children is focused
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.
Showing with 144 additions and 92 deletions