Index: DefaultPartPresentation.java =================================================================== RCS file: /home/eclipse/org.eclipse.ui.workbench/Eclipse UI/org/eclipse/ui/internal/presentations/DefaultPartPresentation.java,v retrieving revision 1.26 diff -u -r1.26 DefaultPartPresentation.java --- DefaultPartPresentation.java 18 Jun 2004 20:49:44 -0000 1.26 +++ DefaultPartPresentation.java 24 Jun 2004 21:41:35 -0000 @@ -87,6 +87,7 @@ private Listener dragListener; private List activationList = new ArrayList(10); private boolean activationListChange = true; + private boolean showItemMenu = true; /** * While we are dragging a tab from this folder, this holdes index of the tab @@ -124,10 +125,14 @@ // Else, set focus. CTabItem newItem = tabFolder.getItem(tabFolder.getControl().toControl(globalPos)); if (newItem != null) { + showItemMenu = true; CTabItem oldItem = tabFolder.getSelection(); if (newItem != oldItem) return; } + else + showItemMenu = false; + if (current != null) { current.setFocus(); } @@ -148,9 +153,12 @@ * @see org.eclipse.swt.widgets.Listener#handleEvent(org.eclipse.swt.widgets.Event) */ public void handleEvent(Event event) { - Point pos = new Point(event.x, event.y); - - showSystemMenu(pos); + if (showItemMenu == true) { + Point pos = new Point(event.x, event.y); + showSystemMenu(pos); + } + else + showItemMenu = true; } };