Use getEventDetail to tell if the mouse button was pressed.

git-svn-id: svn://10.0.0.236/trunk@91079 18797224-902f-48f8-a5cc-f745e15eee43
This commit is contained in:
edburns%acm.org 2001-04-03 01:37:28 +00:00
parent fb94b0d593
commit 3aeae22b4e

View File

@ -57,7 +57,7 @@ import java.util.Stack;
* A dom viewer Frame
*
* @version $Id: DOMViewerFrame.java,v 1.6 2001-04-03 00:42:47 edburns%acm.org Exp $
* @version $Id: DOMViewerFrame.java,v 1.7 2001-04-03 01:37:28 edburns%acm.org Exp $
*
* @see org.mozilla.webclient.BrowserControlFactory
@ -176,7 +176,8 @@ public void handleEvent(Event e)
if (null != relatedNode) {
mouseOverNode = relatedNode;
}
if (mouseEvent.getShiftKey() && 0 == mouseEvent.getButton()) {
if (mouseEvent.getShiftKey() && 0 != mouseEvent.getDetail() &&
0 == mouseEvent.getButton()) {
if (null != mouseOverNode) {
selectNodeInTree(mouseOverNode);
}