tools.put( new Integer( ToolAction.PENCIL ), new SurfacePencilTool( false ));
tools.put( new Integer( ToolAction.FORK ), new SurfacePencilTool( true ));
// --- Listener ---
new DynamicAncestorAdapter( this ).addTo( this );
new DynamicAncestorAdapter( new DynamicPrefChangeManager(
AbstractApplication.getApplication().getUserPrefs().node( PrefsUtil.NODE_SHARED ),
new String[] { PrefsUtil.KEY_SNAP, PrefsUtil.KEY_VIEWRCVSENSE, PrefsUtil.KEY_VIEWEQPRECEIVER,
PrefsUtil.KEY_VIEWTRNSTRAJ, PrefsUtil.KEY_VIEWUSERIMAGES }, this )).addTo( this );
// this.addMouseListener( new MouseAdapter() {