Package pipe.gui.widgets

Class Summary
ButtonBar ButtonBar object Create one with
FileBrowser  
GraphPanel  
GraphPanelPane  
PetriNetChooserPanel Makes a filebrowser panel which is a JPanel containing the required stuff
ResultsHTMLPane