diff --git a/plugins/org.eclipse.tm.terminal.control/src/org/eclipse/tm/internal/terminal/control/ITerminalListener2.java b/plugins/org.eclipse.tm.terminal.control/src/org/eclipse/tm/internal/terminal/control/ITerminalListener2.java index 95628644c2d..76bc56d1cf4 100644 --- a/plugins/org.eclipse.tm.terminal.control/src/org/eclipse/tm/internal/terminal/control/ITerminalListener2.java +++ b/plugins/org.eclipse.tm.terminal.control/src/org/eclipse/tm/internal/terminal/control/ITerminalListener2.java @@ -11,6 +11,8 @@ package org.eclipse.tm.internal.terminal.control; /** * Terminal listener allowing to listen to terminal selection changes. + * + * @since 4.1 */ public interface ITerminalListener2 extends ITerminalListener { @@ -20,8 +22,6 @@ public interface ITerminalListener2 extends ITerminalListener { * NOTE: this does not include mouse selections * those are handled in separate MouseListeners * TODO should be unified - * - * @since 4.1 */ void setTerminalSelectionChanged(); }