@Override public void removeTableListener(TableListener arg0) { super.removeTableListener(arg0); }
/** * @see prefuse.data.util.Index#dispose() */ public void dispose() { m_col.removeColumnListener(this); m_table.removeTableListener(this); }
/** * Dispose of this graph. Unregisters this graph as a listener to its * included tables. */ public void dispose() { getNodeTable().removeTableListener(m_listener); getEdgeTable().removeTableListener(m_listener); }
/** * @see prefuse.controls.Control#itemReleased(prefuse.visual.VisualItem, java.awt.event.MouseEvent) */ public void itemReleased(VisualItem item, MouseEvent e) { if (!SwingUtilities.isLeftMouseButton(e)) return; if ( dragged ) { activeItem = null; item.getTable().removeTableListener(this); if ( resetItem ) item.setFixed(wasFixed); dragged = false; } }
/** * @see prefuse.controls.Control#itemExited(prefuse.visual.VisualItem, java.awt.event.MouseEvent) */ public void itemExited(VisualItem item, MouseEvent e) { if ( activeItem == item ) { activeItem = null; item.getTable().removeTableListener(this); if ( resetItem ) item.setFixed(wasFixed); } Display d = (Display)e.getSource(); d.setCursor(Cursor.getDefaultCursor()); } //
/** * Updates this graph to use a different edge structure for the same nodes. * All other settings will remain the same (e.g., directionality, keys) * @param edges the new edge table. */ public void setEdgeTable(Table edges) { Table oldEdges = getEdgeTable(); oldEdges.removeTableListener(m_listener); m_edgeTuples.invalidateAll(); m_links.clear(); init(getNodeTable(), edges, m_directed, m_nkey, m_skey, m_tkey); }