1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-08-26 01:33:53 +02:00
cdt/terminal/plugins/org.eclipse.tm.terminal.view.ui
Maksym Oleksiv 422aea14e7
Add ability to prevent terminal title updates from ANSI Escape sequence
When a more complete implementation of ANSI Escape sequence for
renaming terminal titles was added in
[CDT 10.2](https://github.com/eclipse-cdt/cdt/blob/main/NewAndNoteworthy/CDT-10.2.md#rename-terminal-tab)
it caused a regression in use cases where extenders of the terminal
wanted to retain control of the terminal's title.

This commit adds a new flag that will prevent the title of the
terminal tab from being updated from ANSI escape sequences.

Fixes #494
2023-08-18 20:36:56 -04:00
..
.settings Upgrade build.properties warnings to errors 2022-11-06 18:29:28 -05:00
icons Move terminal files into subfolder 2018-08-28 12:54:02 -04:00
META-INF Add ability to prevent terminal title updates from ANSI Escape sequence 2023-08-18 20:36:56 -04:00
schema Bug 538094 - update to EPL 2.0 (leave EDL 1.0 unchanged) 2018-11-01 12:21:58 -04:00
src/org/eclipse/tm/terminal/view/ui Add ability to prevent terminal title updates from ANSI Escape sequence 2023-08-18 20:36:56 -04:00
.classpath Update to Java 17 as BREE. Fixes #80 2022-10-03 12:42:37 -04:00
.gitignore Move terminal files into subfolder 2018-08-28 12:54:02 -04:00
.options Move terminal files into subfolder 2018-08-28 12:54:02 -04:00
.project Move terminal files into subfolder 2018-08-28 12:54:02 -04:00
about.html [releng] Update all legal files with update_legal_files.sh 2022-04-13 13:42:35 -04:00
about.ini Bug 559474: Provide unique branding plug-in for each feature 2020-01-31 13:15:51 -05:00
about.mappings Bug 559474: Provide unique branding plug-in for each feature 2020-01-31 13:15:51 -05:00
about.properties Update copyright year on all features 2023-03-13 21:00:55 -04:00
build.properties Bug 551817: Fix legal docs - and automate their checks 2020-08-30 23:15:59 -04:00
cdt_logo_icon32.png Bug 559474: Provide unique branding plug-in for each feature 2020-01-31 13:15:51 -05:00
contexts.xml Bug 538094 - update to EPL 2.0 (leave EDL 1.0 unchanged) 2018-11-01 12:21:58 -04:00
plugin.properties Bug 568923 - add activity for TM terminal main toolbar button 2020-11-24 12:27:35 +01:00
plugin.xml Lower missing PDE unknown-identifier to warning for this bundle 2022-11-04 08:19:23 -04:00