home *** CD-ROM | disk | FTP | other *** search
/ MacHack 1998 / MacHack 1998.toast / Papers / OS Shell in Java / Facade / Global.java < prev    next >
Encoding:
Java Source  |  1998-06-18  |  4.4 KB  |  97 lines  |  [TEXT/dosa]
  1. //    Global.java : this is a Java source code file for the program Facade.
  2. //    Copyright 1998, Andrew S. Downs
  3. //    andrew.downs@tulane.edu
  4. //
  5. //    This source code is distributed as freeware.
  6. //    Just keep this author information in the file.  Enjoy!
  7.  
  8. import java.awt.*;
  9. import java.io.*;
  10.  
  11. public class Global implements Serializable {
  12.     // Position values
  13.     public static final int defaultX = 0;
  14.     public static final int defaultY = 0;
  15.     public static final int defaultWidth = 640;
  16.     public static final int defaultHeight = 480;
  17.  
  18.     // Frame component sizes
  19.     public static final int defaultGrowBoxSize = 20;
  20.  
  21.     // Menu component sizes
  22.     public static final int defaultMenuBarHeight = 20;
  23.     public static final int defaultMenuHSep = 10;
  24.     public static final int defaultMenuItemVSep = 2;
  25.  
  26.     // Timing values
  27.     public static final int splashDelay = 2;
  28.     public static final int menuDelayMillis = 40;
  29.  
  30.     // Colors
  31.     public static final Color menuBarHighlightColor = Color.blue;
  32.     public static final Color inactiveMenuColor = Color.lightGray;
  33.     
  34.     // Startup strings
  35.     public static final String splashDisplayString = "Welcome to Mac OS";
  36.     public static final String startupDisplayString = "Starting Up...";
  37.  
  38.     // Icon and menu strings
  39.     public static final String trashDisplayString = "Trash";
  40.     public static final String menuItemAboutMac = "About This Computer...";
  41.     public static final String menuItemNew = "New Folder";
  42.     public static final String menuItemOpen = "Open";
  43.     public static final String menuItemClose = "Close Window";
  44.     public static final String menuItemCut = "Cut";
  45.     public static final String menuItemCopy = "Copy";
  46.     public static final String menuItemPaste = "Paste";
  47.     public static final String menuItemEmptyTrash = "Empty Trash...";
  48.     public static final String menuSep = "______________";
  49.     public static final String menuItemRestart = "Restart";
  50.     public static final String menuItemShutdown = "Shutdown";
  51.     public static final String menuFile = "File";
  52.     public static final String menuEdit = "Edit";
  53.     public static final String menuSpecial = "Special";
  54.     public static final String newItemName = "Untitled";
  55.     public static final String newItemCopyName = " copy";
  56.  
  57.     // File name string components
  58.     public static final String spaceSep = "%20";
  59. //    public static final String sep00 = "%aa";
  60.     public static final char sep01 = '\\';
  61.     public static final char sep02 = '/';
  62.     public static final char sep03 = ':';
  63.  
  64.     // System properties (lookup once)
  65.     public static final String fileSep = System.getProperty( "file.separator" );
  66.     public static final String pathSep = System.getProperty( "path.separator" );
  67.     public static final String lineSep = System.getProperty( "line.separator" );
  68.  
  69.     // Image names (same dir as app)
  70.     public static final String splashString = new String( "splash.gif" );
  71.     public static final String appleString = new String( "apple01.gif" );
  72.     public static final String trashString = new String( "trash01.gif" );
  73.     public static final String trashMaskString = new String( "trash01m.gif" );
  74.     public static final String trashFullMaskString = new String( "trashfm.gif" );
  75.     public static final String trashFullString = new String( "trash02.gif" );
  76.     public static final String driveString = new String( "drive01.gif" );
  77.     public static final String driveMaskString = new String( "drive01m.gif" );
  78.     public static final String docString = new String( "doc01.gif" );
  79.     public static final String folderString = new String( "folder01.gif" );
  80.     public static final String upArrowString = new String( "scroll01uh.gif" );
  81.  
  82. /*
  83.     // Image names (subdir to app)
  84.     public static final String splashString = new String( "Images" + fileSep + "splash.gif" );
  85.     public static final String appleString = new String( "Images" + fileSep + "apple01.gif" );
  86.     public static final String trashString = new String( "Images" + fileSep + "trash01.gif" );
  87.     public static final String trashMaskString = new String( "Images" + fileSep + "trash01m.gif" );
  88.     public static final String trashFullString = new String( "Images" + fileSep + "trash02.gif" );
  89.     public static final String driveString = new String( "Images" + fileSep + "drive01.gif" );
  90.     public static final String driveMaskString = new String( "Images" + fileSep + "drive01m.gif" );
  91.     public static final String docString = new String( "Images" + fileSep + "doc01.gif" );
  92.     public static final String folderString = new String( "Images" + fileSep + "folder01.gif" );
  93.     public static final String upArrowString = new String( "Images" + fileSep + "scroll01uh.gif" );
  94. */
  95. }
  96.  
  97.