101102103104105106107108109110111
}); popupMenu = new JPopupMenu(); Visualiser.updatePopupMenu(popupMenu, keyToActionMap); c = new JGDBufferedPanel(w, h){ /** * ID for serialisation */ private static final long serialVersionUID = -3603199728828001813L;