Changeset 1245 for trunk


Ignore:
Timestamp:
03/18/19 09:43:05 (5 years ago)
Author:
davidb
Message:

ImageDirs and AudioDirs changed over to new DirectcoryListSetting; further work done on title/framename position to help startup/init code

Location:
trunk/src/org/expeditee
Files:
6 edited

Legend:

Unmodified
Added
Removed

  • trunk/src/org/expeditee/gui/DisplayController.java

    r1244 r1245  
    7070       
    7171        // To help title calculations on frame
    72         public static final int MINIMUM_FRAME_WIDTH = 512;
     72        public static final int MINIMUM_FRAME_WIDTH  = 512;
     73        public static final int MINIMUM_FRAME_HEIGHT = 512;
     74       
     75        private static boolean DISPLAYED_ABOVE_MINIMUM_FRAME_WIDTH = false;
    7376       
    7477        /** Convenience definition of TwinFramesSide.LEFT. */
    … …  
    12421245        }
    12431246       
     1247        public static Dimension getSizeEnforceMinimum() {
     1248                Dimension actual_dim = getFramePaintArea().getSize();
     1249               
     1250                int enforced_width  = Math.max(actual_dim.width, MINIMUM_FRAME_WIDTH);
     1251                int enforced_height = Math.max(actual_dim.height,MINIMUM_FRAME_HEIGHT);
     1252               
     1253                Dimension enforced_dim = new Dimension(enforced_width,enforced_height);
     1254               
     1255                return enforced_dim;
     1256        }
     1257       
    12441258        /** Tells the display controller to get the current window size. */
    12451259        public static void refreshWindowSize()
    … …  
    12471261                _windowSize = EcosystemManager.getGraphicsManager().getWindowSize();
    12481262                _refreshBuffer = Image.createImage(_windowSize, true);
     1263                if (_windowSize.getWidth() > MINIMUM_FRAME_WIDTH) {
     1264                        DISPLAYED_ABOVE_MINIMUM_FRAME_WIDTH = true;
     1265                }
    12491266                refreshPaintAreas();
    12501267        }

  • trunk/src/org/expeditee/items/ItemUtils.java

    r1190 r1245  
    404404                        File file = null;
    405405
    406                         for (String dir : FolderSettings.ImageDirs.get()) {
     406                        for (String dir : FolderSettings.ImageDirs.getAbsoluteDirs()) {
    407407                                file = new File(dir + path);
    408408                                if (file.exists() && !file.isDirectory()) {

  • trunk/src/org/expeditee/items/Text.java

    r1244 r1245  
    22822282                        int model_frame_name_x = modelFrame.getNameItem().getX();
    22832283                        if (model_frame_name_x < DisplayController.MINIMUM_FRAME_WIDTH) {
    2284                                 System.err.println("resetTitlePostion(): value to be used as right margin from position of frameName < 512");
    2285                                 System.err.println("Overriding to ensure reasonable width for title");
     2284                                System.err.println("Text::resetTitlePostion(): value to be used as right margin from position of frameName < 512");
     2285                                System.err.println("  Overriding to ensure reasonable width for title");
    22862286                                model_frame_name_x = DisplayController.MINIMUM_FRAME_WIDTH;
    22872287                        }
    … …  
    24572457
    24582458        public void resetFrameNamePosition() {
    2459                 Dimension maxSize = DisplayController.getFramePaintArea().getSize();
     2459                Dimension maxSize = DisplayController.getSizeEnforceMinimum();
     2460                               
    24602461                if (maxSize != null) {
    24612462                        // setMaxWidth(maxSize.width);

  • trunk/src/org/expeditee/setting/DirectoryListSetting.java

    r1244 r1245  
    3838                        }
    3939
    40                         String abs = parent_folder + rel;
     40                        String abs = null;
     41                        File rel_file = new File(rel);
     42                        if (rel_file.isAbsolute()) {
     43                                // The directory being stored somehow wasn't relative to expeditee.home
     44                                // => use it 'as is'
     45                                abs = rel;
     46                        }
     47                        else {
     48                                abs = parent_folder + rel;
     49                               
     50                        }
    4151                        value_absolute_dir.add(abs);
    4252                }
    … …  
    4656
    4757        public void addAbsoluteDir(String absolute_dir) {
    48                 String parent_folder = FrameIO.PARENT_FOLDER;
    4958                boolean need_file_sep_replace = (!File.separator.equals("/"));
    5059
    51                 String rel = absolute_dir.substring(parent_folder.length());
     60                String rel = null;
     61                if (absolute_dir.startsWith(FrameIO.PARENT_FOLDER)) {
     62                        // only remove parent_folder if it matches
     63                        rel = absolute_dir.substring(FrameIO.PARENT_FOLDER.length());
     64                }
     65                else {
     66                        rel = absolute_dir;
     67                }
    5268
    5369                if (need_file_sep_replace) {
    … …  
    5571                }
    5672
    57                 /*
    58                         String rel;
    59                         if (absolute_dir.startsWith(parent_folder)) {
    60                                 rel = absolute_dir.substring(parent_folder.length());
    61                         }
    62                         else {
    63                                 rel = absolute_dir;
    64                         }
    65                  */
    66 
    6773                _value.add(rel);
    6874        }

  • trunk/src/org/expeditee/settings/UserSettings.java

    r1244 r1245  
    263263                        // 1. resources-<username>\images       Generated on user account creation and must be refreshed on user switching.
    264264                        // 2. IMAGES_PATH                                       <expeditee-home>\resources-public\images
    265                         FolderSettings.ImageDirs.get().add(FrameIO.IMAGES_PRIVATE_PATH);
    266                         FolderSettings.ImageDirs.get().add(FrameIO.IMAGES_PATH);
     265                        FolderSettings.ImageDirs.addAbsoluteDir(FrameIO.IMAGES_PRIVATE_PATH);
     266                        FolderSettings.ImageDirs.addAbsoluteDir(FrameIO.IMAGES_PATH);
    267267                        FolderSettings.ImageDirs.setDefault(FolderSettings.ImageDirs.get());
    268268                       
    269                         FolderSettings.AudioDirs.get().add(FrameIO.AUDIO_PRIVATE_PATH);
    270                         FolderSettings.AudioDirs.get().add(FrameIO.AUDIO_PATH);
     269                        FolderSettings.AudioDirs.addAbsoluteDir(FrameIO.AUDIO_PRIVATE_PATH);
     270                        FolderSettings.AudioDirs.addAbsoluteDir(FrameIO.AUDIO_PATH);
    271271                        FolderSettings.AudioDirs.setDefault(FolderSettings.AudioDirs.get());
    272272                       
    … …  
    279279                        FolderSettings.FrameDirs.setDefault(FolderSettings.FrameDirs.get());
    280280
    281                         FolderSettings.ImageDirs.get().add(FrameIO.IMAGES_PATH);
     281                        FolderSettings.ImageDirs.addAbsoluteDir(FrameIO.IMAGES_PATH);
    282282                        FolderSettings.ImageDirs.setDefault(FolderSettings.ImageDirs.get());
    283283                       
    284                         FolderSettings.AudioDirs.get().add(FrameIO.AUDIO_PATH);
     284                        FolderSettings.AudioDirs.addAbsoluteDir(FrameIO.AUDIO_PATH);
    285285                        FolderSettings.AudioDirs.setDefault(FolderSettings.AudioDirs.get());
    286286                }

  • trunk/src/org/expeditee/settings/folders/FolderSettings.java

    r1244 r1245  
    5959        };
    6060
    61         public static ListSetting<String> ImageDirs = new ListSetting<String>("Directories to look in for images", "ImageDirs") {
    62                 @Override
    63                 public boolean setSetting(Text text) {
    64                         _value.addAll(FrameUtils.getDirs(text));
    65                         return true;
    66                 }
    67         };
     61        public static DirectoryListSetting ImageDirs = new DirectoryListSetting("Directories to look in for images", "ImageDirs");
     62                       
    6863        public static final Setting ImageDir = new Setting("Adds a directory to look in for images", "ImageDir") {
    6964                @Override
    … …  
    9186       
    9287       
    93         public static ListSetting<String> AudioDirs = new ListSetting<String>("Directories to look in for audio", "AudioDirs") {
    94                 @Override
    95                 public boolean setSetting(Text text) {
    96                         _value.addAll(FrameUtils.getDirs(text));
    97                         return true;
    98                 }
    99         };
     88        public static DirectoryListSetting AudioDirs = new DirectoryListSetting("Directories to look in for audio", "AudioDirs");
     89       
    10090        public static final Setting AudioDir = new Setting("Adds a directory to look in for audio", "AudioDir") {
    10191                @Override
Note: See TracChangeset for help on using the changeset viewer.