Fix compiler warning

laeubi · laeubi · commit 120ff885b6ea · 2025-05-04T15:50:32.000+02:00
diff --git a/terminal/plugins/org.eclipse.tm.terminal.control/src/org/eclipse/tm/internal/terminal/emulator/VT100TerminalControl.java b/terminal/plugins/org.eclipse.tm.terminal.control/src/org/eclipse/tm/internal/terminal/emulator/VT100TerminalControl.java
@@ -1282,6 +1282,7 @@ public void setTerminalTitle(String title) {
 		setTerminalTitle(title, TerminalTitleRequestor.OTHER);
 	}
 
+	@SuppressWarnings("removal")
 	@Override
 	public void setTerminalTitle(String title, TerminalTitleRequestor requestor) {
 		if (fTerminalListener instanceof ITerminalListener3 listener3) {

Original file line number	Diff line number	Diff line change
`@@ -1282,6 +1282,7 @@ public void setTerminalTitle(String title) {`
`1282`	`1282`	`setTerminalTitle(title, TerminalTitleRequestor.OTHER);`
`1283`	`1283`	`}`
`1284`	`1284`
	`1285`	`+ @SuppressWarnings("removal")`
`1285`	`1286`	`@Override`
`1286`	`1287`	`public void setTerminalTitle(String title, TerminalTitleRequestor requestor) {`
`1287`	`1288`	`if (fTerminalListener instanceof ITerminalListener3 listener3) {`