Package de.uni_trier.wi2.procake.gui.objecteditor.nestworkfloweditor.editor
package de.uni_trier.wi2.procake.gui.objecteditor.nestworkfloweditor.editor
-
ClassesClassDescriptionFilter for use in a
JFileChooser.Utility file filter to accept editor files, namely .xml and .xml.gz extensions.Utility file filter to accept all image formats supported by image io.CustommxRubberbandto prevent rubberband-selection with right-mouse-click-draggingComponent that displays a ruler for a JGraph component.Border with a drop shadow.