Class Driver


  • public class Driver
    extends java.lang.Object
    This is where it all begins run with -f int to set font size run with -clear to clear recent projects menu, or any other issues with program not starting properly due to something being corrupted (or just faulty) in backend store for GUISaveState.
    • Field Detail

      • USAGE

        private static final java.lang.String USAGE
    • Constructor Detail

      • Driver

        public Driver()
    • Method Detail

      • main

        public static void main​(java.lang.String[] args)
                         throws java.lang.Exception
        Throws:
        java.lang.Exception
      • enablePlugins

        private static void enablePlugins​(java.lang.Iterable<java.lang.String> plugins,
                                          boolean enabled)
      • removeSplashScreen

        public static void removeSplashScreen()
      • getFontSize

        public static float getFontSize()
      • getPriority

        public static int getPriority()