Package dk.gtz.graphedit.util
package dk.gtz.graphedit.util
-
ClassDescriptionGeneral static utilities for various types bindings (
javafx.beans.binding
)Helper class for downloading files and getting the progress of the download.The state that the download can be in.Utility class for mousedragging behaviors.The central point of all scriptable editor actions.javafx utility for adding vertical drag-to-resize functionality to aRegion
General utilities for manipulating and creatingProperty
inspectors / editors.Interface for an undo system where theUndoable
entries are observableA class to manage keybindings.A record to store a graphedit keybinding.MapGroup<K>A keyedGroup
of javafxNode
sStatic utility class for interacting with metadataA mouse tracking utilityImplementation of an observable undosystemAn implementation of theIObservableUndoSystem
interface that uses a tree structure to store the undo history.A record to store an undoable action with a representation.General utilities relating to the operating systemUtility functions for retrying actions multiple times.General utilities for handling geometric shapesThis class is responsible for loading tips from a YAML file.Change listener that can veto a change if it was not a valid change.javafx utility for adding horizontal drag-to-resize functionality to aRegion