Use getEventDetail to tell if the mouse button was pressed.

This commit is contained in:
edburns%acm.org 2001-04-03 01:37:28 +00:00
Родитель 1f3b6b9813
Коммит 6fe9fd502f
1 изменённых файлов: 3 добавлений и 2 удалений

Просмотреть файл

@ -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);
}