01: // ResourceTreeUI.java
02: // $Id: ResourceTreeUI.java,v 1.3 2000/08/16 21:37:31 ylafon Exp $
03: // (c) COPYRIGHT MIT and INRIA, 1998.
04: // Please first read the full copyright statement in file COPYRIGHT.html
05:
06: package org.w3c.jigadmin.editors;
07:
08: import javax.swing.plaf.basic.BasicTreeUI;
09:
10: import java.awt.event.MouseEvent;
11:
12: /**
13: * The UI of the ResourceTreeBrowser
14: * @version $Revision: 1.3 $
15: * @author Benoît Mahé (bmahe@w3.org)
16: */
17: public class ResourceTreeUI extends BasicTreeUI {
18:
19: /**
20: * return always false to disable expands on double click.
21: */
22: protected boolean isToggleEvent(MouseEvent event) {
23: return false;
24: }
25:
26: }
|