.java added to tab names, changed name of prefs file

This commit is contained in:
benfry
2004-07-07 17:03:35 +00:00
parent c68bf08b97
commit 9681a8e0c9
3 changed files with 32 additions and 11 deletions

View File

@@ -54,6 +54,10 @@ import javax.swing.undo.*;
*/
public class PdePreferences extends JComponent {
// what to call the feller
static final String PREFS_FILE = "Processing Preferences.txt";
// prompt text stuff
static final String PROMPT_YES = "Yes";
@@ -140,7 +144,7 @@ public class PdePreferences extends JComponent {
// next load user preferences file
File home = new File(System.getProperty("user.home"));
preferencesFile = new File(home, ".processing");
preferencesFile = new File(home, PREFS_FILE);
if (!preferencesFile.exists()) {
// create a new preferences file if none exists