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.
parent
316a5101
Please register or sign in to comment