diff --git a/plugins/org.eclipse.tm.terminal.control/src/org/eclipse/tm/internal/terminal/control/ITerminalListener.java b/plugins/org.eclipse.tm.terminal.control/src/org/eclipse/tm/internal/terminal/control/ITerminalListener.java index 00b55f357d4..aee8f6f06bd 100644 --- a/plugins/org.eclipse.tm.terminal.control/src/org/eclipse/tm/internal/terminal/control/ITerminalListener.java +++ b/plugins/org.eclipse.tm.terminal.control/src/org/eclipse/tm/internal/terminal/control/ITerminalListener.java @@ -37,6 +37,8 @@ public interface ITerminalListener { * NOTE: this does not include mouse selections * those are handled in separate MouseListeners * TODO should be unified + * + * @since 4.1 */ void setTerminalSelectionChanged(); } diff --git a/plugins/org.eclipse.tm.terminal.control/src/org/eclipse/tm/internal/terminal/textcanvas/TextCanvas.java b/plugins/org.eclipse.tm.terminal.control/src/org/eclipse/tm/internal/terminal/textcanvas/TextCanvas.java index ad36911627e..9854d88c809 100644 --- a/plugins/org.eclipse.tm.terminal.control/src/org/eclipse/tm/internal/terminal/textcanvas/TextCanvas.java +++ b/plugins/org.eclipse.tm.terminal.control/src/org/eclipse/tm/internal/terminal/textcanvas/TextCanvas.java @@ -344,6 +344,9 @@ public class TextCanvas extends GridCanvas { fCellCanvasModel.setSelectionAnchor(new Point(0,0)); } + /** + * @since 4.1 + */ public void clearSelection() { fCellCanvasModel.setSelection(-1,-1,-1,-1); } diff --git a/plugins/org.eclipse.tm.terminal.view.ui/src/org/eclipse/tm/terminal/view/ui/tabs/TabFolderManager.java b/plugins/org.eclipse.tm.terminal.view.ui/src/org/eclipse/tm/terminal/view/ui/tabs/TabFolderManager.java index c489a9b9cc2..28f63760730 100644 --- a/plugins/org.eclipse.tm.terminal.view.ui/src/org/eclipse/tm/terminal/view/ui/tabs/TabFolderManager.java +++ b/plugins/org.eclipse.tm.terminal.view.ui/src/org/eclipse/tm/terminal/view/ui/tabs/TabFolderManager.java @@ -773,6 +773,8 @@ public class TabFolderManager extends PlatformObject implements ISelectionProvid * Fire the selection changed event with the terminal text! * to the registered listeners. * see also TerminalControlSelectionListener- mouseUp + * + * @since 4.1 */ protected void fireTerminalSelectionChanged() { updateStatusLine();