Package view.components.dialogs

package view.components.dialogs
Dialogs for loading and storing theorems, primitives and other. is the work-horse in this package.
Since:
2024-07-07
Version:
0.2
Author:
Anders Persson (perssonandersper@gmail.com)
  • Classes
    Class
    Description
    CompositesLoader
    Dialog for loading a set of primitives into the application.
    DefaultDialog
    Base class for dialogs used across the application for interacing with the application's data base.
    PrimitivesLoader
    Dialog for loading a set of primitives into the application.
    TheoremStore
    Dialog taking care of theorem storage using a data base.