Changeset 1442 for trunk/src/org/expeditee/settings/UserSettings.java
- Timestamp:
- 11/07/19 13:15:36 (5 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/expeditee/settings/UserSettings.java
r1441 r1442 108 108 public static final IntegerSetting TitlePosition = new IntegerSetting("Position of title item in frame (TODO: find whether this is x-offset or y-offset)", "TitlePosition", 150); 109 109 110 public static final StringSetting UserName = new StringSetting("User name", "${USER_NAME}"); // FrameIO.ConvertToValidFramesetName(System.getProperty("user.name"))111 112 public static final StringSetting ProfileName = new StringSetting("Profile name", "${USER_NAME}");110 public static final StringSetting UserName = new StringSetting("User name", ProfileManager.USER_NAME_FLAG); // FrameIO.ConvertToValidFramesetName(System.getProperty("user.name")) 111 112 public static final StringSetting ProfileName = new StringSetting("Profile name", ProfileManager.USER_NAME_FLAG); 113 113 114 114 public static final BooleanSetting AntiAlias = new BooleanSetting("Whether anti-aliasing should be enabled", "AntiAlias", false);
Note:
See TracChangeset
for help on using the changeset viewer.