mirrors/cdt
1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-04-22 14:12:10 +02:00
Code Issues Wiki Activity

Fix missing since tag

Browse source
This commit is contained in:
Anton Leherbauer 2015-08-13 17:18:32 +02:00
parent 3a721a060d
commit a495e4bea7
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
plugins/org.eclipse.tm.terminal.control/src/org/eclipse/tm/internal/terminal/control/ITerminalListener2.java
View file

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