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
Родитель 69dd0e5434
Коммит b954c66d69
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);
}