Changeset 13 for trunk/src/org/expeditee/gui/FrameIO.java
- Timestamp:
- 05/06/08 12:10:11 (16 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/expeditee/gui/FrameIO.java
r12 r13 387 387 return null; 388 388 } 389 389 390 public static Frame LoadZero(String framesetName, String path) { 391 String adjustedName = FrameUtils.GetFramesetNameAdjusted(framesetName); 392 return LoadFrame(adjustedName + 0); 393 } 394 395 public static Frame LoadZero() { 396 Frame current = DisplayIO.getCurrentFrame(); 397 return LoadZero(current.getFramesetName(), current.path); 398 } 399 390 400 public static Frame LoadLast() { 391 401 Frame current = DisplayIO.getCurrentFrame(); … … 891 901 String conversion = frameset + " --> "; 892 902 893 // ensure the framename is valid 894 frameset = ConvertToValidFramesetName(frameset); 895 896 if (frameset == null) 903 if (! IsValidFramesetName(frameset)){ 897 904 throw new Exception("Invalid frameset name"); 898 905 } 906 899 907 if (!recreate && FrameIO.DoesFramesetExist(frameset)) { 900 908 throw new ExistingFramesetException(frameset); … … 957 965 958 966 return base; 959 } 967 }private static boolean IsValidFramesetName(String frameset) { 968 for (int i = 0; i < frameset.length(); i++) { 969 // capitalize all characters after spaces 970 if (!Character.isLetterOrDigit(frameset.charAt(i))) { 971 return false; 972 } 973 } 974 return true; 975 } 976 977 960 978 961 979 public static boolean DeleteFrameset(String framesetName) {
Note:
See TracChangeset
for help on using the changeset viewer.