diff --git a/terminal/plugins/org.eclipse.tm.terminal.view.ui/src/org/eclipse/tm/terminal/view/ui/tabs/TabTerminalListener.java b/terminal/plugins/org.eclipse.tm.terminal.view.ui/src/org/eclipse/tm/terminal/view/ui/tabs/TabTerminalListener.java index 717d51c6152..96946641d71 100644 --- a/terminal/plugins/org.eclipse.tm.terminal.view.ui/src/org/eclipse/tm/terminal/view/ui/tabs/TabTerminalListener.java +++ b/terminal/plugins/org.eclipse.tm.terminal.view.ui/src/org/eclipse/tm/terminal/view/ui/tabs/TabTerminalListener.java @@ -127,13 +127,11 @@ private void updateTitle(final String title, final TerminalTitleRequestor reques // Get the original terminal properties associated with the tab item @SuppressWarnings({ "unchecked" }) final Map properties = (Map) item.getData("properties"); //$NON-NLS-1$ - if (properties.containsKey(ITerminalsConnectorConstants.PROP_TITLE_DISABLE_ANSI_TITLE)) { - if (properties.get( - ITerminalsConnectorConstants.PROP_TITLE_DISABLE_ANSI_TITLE) instanceof Boolean disableAnsi) { - // Check if terminal title can be updated from ANSI escape sequence - if (disableAnsi && requestor == TerminalTitleRequestor.ANSI) { - return; - } + if (properties != null && properties + .get(ITerminalsConnectorConstants.PROP_TITLE_DISABLE_ANSI_TITLE) instanceof Boolean disableAnsi) { + // Check if terminal title can be updated from ANSI escape sequence + if (disableAnsi && requestor == TerminalTitleRequestor.ANSI) { + return; } }