Package weka.gui

Class PackageManager

    • Field Detail

      • s_atLeastOnePackageUpgradeHasOccurredInThisSession

        public static boolean s_atLeastOnePackageUpgradeHasOccurredInThisSession
      • PAGE_HEADER

        public static String PAGE_HEADER
    • Constructor Detail

      • PackageManager

        public PackageManager()
    • Method Detail

      • setInitialSplitPaneDividerLocation

        public void setInitialSplitPaneDividerLocation()
        Setting the initial placement of the divider line on a JSplitPane is problematic. Most of the time it positions itself just fine based on the preferred and minimum sizes of the two things it divides. However, sometimes it seems to set itself such that the top component is not visible without manually setting the position. This method can be called (after the containing frame is visible) to set the divider location to 40% of the way down the window.
      • main

        public static void main​(String[] args)