// what to call the feller

static final String PREFS_FILE = "preferences.txt";

// prompt text stuff

static final String PROMPT_YES = _("Yes");

static final String PROMPT_NO = _("No");

static final String PROMPT_CANCEL = _("Cancel");

static final String PROMPT_OK = _("OK");

static final String PROMPT_BROWSE = _("Browse");

String[] languages = {

_("System Default"),

"العربية" + " (" + _("Arabic") + ")",

"Aragonés" + " (" + _("Aragonese") + ")",

"Català" + " (" + _("Catalan") + ")",

"简体中文" + " (" + _("Chinese Simplified") + ")",

"繁體中文" + " (" + _("Chinese Traditional") + ")",

"Dansk" + " (" + _("Danish") + ")",

"Nederlands" + " (" + _("Dutch") + ")",

"English" + " (" + _("English") + ")",

"Eesti" + " (" + _("Estonian") + ")",

"Pilipino" + " (" + _("Filipino") + ")",

"Français" + " (" + _("French") + ")",

"Galego" + " (" + _("Galician") + ")",

"Deutsch" + " (" + _("German") + ")",

"ελληνικά" + " (" + _("Greek") + ")",

"Magyar" + " (" + _("Hindi") + ")",

"Magyar" + " (" + _("Hungarian") + ")",

"Bahasa Indonesia" + " (" + _("Indonesian") + ")",

"Italiano" + " (" + _("Italian") + ")",

"日本語" + " (" + _("Japanese") + ")",

"한국어" + " (" + _("Korean") + ")",

"Latviešu" + " (" + _("Latvian") + ")",

"Lietuvių Kalba" + " (" + _("Lithuaninan") + ")",

"मराठी" + " (" + _("Marathi") + ")",

"Norsk" + " (" + _("Norwegian") + ")",

"فارسی" + " (" + _("Persian") + ")",

"Język Polski" + " (" + _("Polish") + ")",

"Português" + " (" + _("Portuguese") + " - Brazil)",

"Português" + " (" + _("Portuguese") + " - Portugal)",

"Română" + " (" + _("Romanian") + ")",

"Русский" + " (" + _("Russian") + ")",

"Español" + " (" + _("Spanish") + ")",

"தமிழ்" + " (" + _("Tamil") + ")"};

String[] languagesISO = {

"",

"ar",

"an",

"ca",

"zh_cn",

"zh_tw",

"da",

"nl",

"en",

"et",

"tl",

"fr",

"gl",

"de",

"el",

"hi",

"hu",

"id",

"it",

"ja",

"ko",

"lv",

"lt",

"mr",

"no_nb",

"fa",

"pl",

"pt_br",

"pt_pt",

"ro",

"ru",

"es",

"ta"};

/**

static public int BUTTON_WIDTH = 80;

/**

static public int BUTTON_HEIGHT = 24;

// value for the size bars, buttons, etc

static final int GRID_SIZE = 33;

// indents and spacing standards. these probably need to be modified

// per platform as well, since macosx is so huge, windows is smaller,

// and linux is all over the map

static final int GUI_BIG = 13;

static final int GUI_BETWEEN = 10;

static final int GUI_SMALL = 6;

// gui elements

JFrame dialog;

int wide, high;

JTextField sketchbookLocationField;

JCheckBox exportSeparateBox;

JCheckBox verboseCompilationBox;

JCheckBox verboseUploadBox;

JCheckBox verifyUploadBox;

JCheckBox externalEditorBox;

JCheckBox memoryOverrideBox;

JTextField memoryField;

JCheckBox checkUpdatesBox;

JTextField fontSizeField;

JCheckBox updateExtensionBox;

JCheckBox autoAssociateBox;

JComboBox comboLanguage;

// the calling editor, so updates can be applied

Editor editor;

// data model

static Hashtable defaults;

static Hashtable table = new Hashtable();;

static File preferencesFile;

static protected void init(String commandLinePrefs) {

// start by loading the defaults, in case something

// important was deleted from the user prefs

try {

load(Base.getLibStream("preferences.txt"));

} catch (Exception e) {

Base.showError(null, _("Could not read default settings.\n" +

"You'll need to reinstall Arduino."), e);

}

// check for platform-specific properties in the defaults

String platformExt = "." + PConstants.platformNames[PApplet.platform];

int platformExtLength = platformExt.length();

Enumeration e = table.keys();

while (e.hasMoreElements()) {

String key = (String) e.nextElement();

if (key.endsWith(platformExt)) {

// this is a key specific to a particular platform

String actualKey = key.substring(0, key.length() - platformExtLength);

String value = get(key);

table.put(actualKey, value);

}

}

// clone the hash table

defaults = (Hashtable) table.clone();

// other things that have to be set explicitly for the defaults

setColor("run.window.bgcolor", SystemColor.control);

// Load a prefs file if specified on the command line

if (commandLinePrefs != null) {

try {

load(new FileInputStream(commandLinePrefs));

} catch (Exception poe) {

Base.showError(_("Error"),

I18n.format(

_("Could not read preferences from {0}"),

commandLinePrefs

), poe);

}

} else if (!Base.isCommandLine()) {

// next load user preferences file

preferencesFile = Base.getSettingsFile(PREFS_FILE);

if (!preferencesFile.exists()) {

// create a new preferences file if none exists

// saves the defaults out to the file

save();

} else {

// load the previous preferences file

try {

load(new FileInputStream(preferencesFile));

} catch (Exception ex) {

Base.showError(_("Error reading preferences"),

I18n.format(

_("Error reading the preferences file. " +

"Please delete (or move)\n" +

"{0} and restart Arduino."),

preferencesFile.getAbsolutePath()

), ex);

}

}

}

}

public Preferences() {

// setup dialog for the prefs

//dialog = new JDialog(editor, "Preferences", true);

dialog = new JFrame(_("Preferences"));

dialog.setResizable(false);

Container pain = dialog.getContentPane();

pain.setLayout(null);

int top = GUI_BIG;

int left = GUI_BIG;

int right = 0;

JLabel label;

JButton button; //, button2;

//JComboBox combo;

Dimension d, d2; //, d3;

int h, vmax;

// Sketchbook location:

// [...............................] [ Browse ]

label = new JLabel(_("Sketchbook location:"));

pain.add(label);

d = label.getPreferredSize();

label.setBounds(left, top, d.width, d.height);

top += d.height; // + GUI_SMALL;

sketchbookLocationField = new JTextField(40);

pain.add(sketchbookLocationField);

d = sketchbookLocationField.getPreferredSize();

button = new JButton(PROMPT_BROWSE);

button.addActionListener(new ActionListener() {

public void actionPerformed(ActionEvent e) {

File dflt = new File(sketchbookLocationField.getText());

File file =

Base.selectFolder(_("Select new sketchbook location"), dflt, dialog);

if (file != null) {

sketchbookLocationField.setText(file.getAbsolutePath());

}

}

});

pain.add(button);

d2 = button.getPreferredSize();

// take max height of all components to vertically align em

vmax = Math.max(d.height, d2.height);

sketchbookLocationField.setBounds(left, top + (vmax-d.height)/2,

d.width, d.height);

h = left + d.width + GUI_SMALL;

button.setBounds(h, top + (vmax-d2.height)/2,

d2.width, d2.height);

right = Math.max(right, h + d2.width + GUI_BIG);

top += vmax + GUI_BETWEEN;

// Preferred language: [ ] (requires restart of Arduino)

Container box = Box.createHorizontalBox();

label = new JLabel(_("Editor language: "));

box.add(label);

comboLanguage = new JComboBox(languages);

comboLanguage.setSelectedIndex((Arrays.asList(languagesISO)).indexOf(Preferences.get("editor.languages.current")));

box.add(comboLanguage);

label = new JLabel(_(" (requires restart of Arduino)"));

box.add(label);

pain.add(box);

d = box.getPreferredSize();

box.setForeground(Color.gray);

box.setBounds(left, top, d.width, d.height);

right = Math.max(right, left + d.width);

top += d.height + GUI_BETWEEN;

// Editor font size [ ]

box = Box.createHorizontalBox();

label = new JLabel(_("Editor font size: "));

box.add(label);

fontSizeField = new JTextField(4);

box.add(fontSizeField);

label = new JLabel(_(" (requires restart of Arduino)"));

box.add(label);

pain.add(box);

d = box.getPreferredSize();

box.setBounds(left, top, d.width, d.height);

Font editorFont = Preferences.getFont("editor.font");

fontSizeField.setText(String.valueOf(editorFont.getSize()));

top += d.height + GUI_BETWEEN;

// Show verbose output during: [ ] compilation [ ] upload

box = Box.createHorizontalBox();

label = new JLabel(_("Show verbose output during: "));

box.add(label);

verboseCompilationBox = new JCheckBox(_("compilation "));

box.add(verboseCompilationBox);

verboseUploadBox = new JCheckBox(_("upload"));

box.add(verboseUploadBox);

pain.add(box);

d = box.getPreferredSize();

box.setBounds(left, top, d.width, d.height);

top += d.height + GUI_BETWEEN;

// [ ] Verify code after upload

verifyUploadBox = new JCheckBox(_("Verify code after upload"));

pain.add(verifyUploadBox);

d = verifyUploadBox.getPreferredSize();

verifyUploadBox.setBounds(left, top, d.width + 10, d.height);

right = Math.max(right, left + d.width);

top += d.height + GUI_BETWEEN;

// [ ] Use external editor

externalEditorBox = new JCheckBox(_("Use external editor"));

pain.add(externalEditorBox);

d = externalEditorBox.getPreferredSize();

externalEditorBox.setBounds(left, top, d.width + 10, d.height);

right = Math.max(right, left + d.width);

top += d.height + GUI_BETWEEN;

// [ ] Check for updates on startup

checkUpdatesBox = new JCheckBox(_("Check for updates on startup"));

pain.add(checkUpdatesBox);

d = checkUpdatesBox.getPreferredSize();

checkUpdatesBox.setBounds(left, top, d.width + 10, d.height);

right = Math.max(right, left + d.width);

top += d.height + GUI_BETWEEN;

// [ ] Update sketch files to new extension on save (.pde -> .ino)

updateExtensionBox = new JCheckBox(_("Update sketch files to new extension on save (.pde -> .ino)"));

pain.add(updateExtensionBox);

d = updateExtensionBox.getPreferredSize();

updateExtensionBox.setBounds(left, top, d.width + 10, d.height);

right = Math.max(right, left + d.width);

top += d.height + GUI_BETWEEN;

// [ ] Automatically associate .pde files with Processing

if (Base.isWindows()) {

autoAssociateBox =

new JCheckBox(_("Automatically associate .ino files with Arduino"));

pain.add(autoAssociateBox);

d = autoAssociateBox.getPreferredSize();

autoAssociateBox.setBounds(left, top, d.width + 10, d.height);

right = Math.max(right, left + d.width);

top += d.height + GUI_BETWEEN;

}

// More preferences are in the ...

label = new JLabel(_("More preferences can be edited directly in the file"));

pain.add(label);

d = label.getPreferredSize();

label.setForeground(Color.gray);

label.setBounds(left, top, d.width, d.height);

right = Math.max(right, left + d.width);

top += d.height; // + GUI_SMALL;

label = new JLabel(preferencesFile.getAbsolutePath());

final JLabel clickable = label;

label.addMouseListener(new MouseAdapter() {

public void mousePressed(MouseEvent e) {

Base.openFolder(Base.getSettingsFolder());

}

public void mouseEntered(MouseEvent e) {

clickable.setForeground(new Color(0, 0, 140));

}

public void mouseExited(MouseEvent e) {

clickable.setForeground(Color.BLACK);

}

});

pain.add(label);

d = label.getPreferredSize();

label.setBounds(left, top, d.width, d.height);

right = Math.max(right, left + d.width);

top += d.height;

label = new JLabel(_("(edit only when Arduino is not running)"));

pain.add(label);

d = label.getPreferredSize();

label.setForeground(Color.gray);

label.setBounds(left, top, d.width, d.height);

right = Math.max(right, left + d.width);

top += d.height; // + GUI_SMALL;

// [ OK ] [ Cancel ] maybe these should be next to the message?

button = new JButton(PROMPT_OK);

button.addActionListener(new ActionListener() {

public void actionPerformed(ActionEvent e) {

applyFrame();

disposeFrame();

}

});

pain.add(button);

d2 = button.getPreferredSize();

BUTTON_HEIGHT = d2.height;

h = right - (BUTTON_WIDTH + GUI_SMALL + BUTTON_WIDTH);

button.setBounds(h, top, BUTTON_WIDTH, BUTTON_HEIGHT);

h += BUTTON_WIDTH + GUI_SMALL;

button = new JButton(PROMPT_CANCEL);

button.addActionListener(new ActionListener() {

public void actionPerformed(ActionEvent e) {

disposeFrame();

}

});

pain.add(button);

button.setBounds(h, top, BUTTON_WIDTH, BUTTON_HEIGHT);

top += BUTTON_HEIGHT + GUI_BETWEEN;

// finish up

wide = right + GUI_BIG;

high = top + GUI_SMALL;

// closing the window is same as hitting cancel button

dialog.addWindowListener(new WindowAdapter() {

public void windowClosing(WindowEvent e) {

disposeFrame();

}

});

ActionListener disposer = new ActionListener() {

public void actionPerformed(ActionEvent actionEvent) {

disposeFrame();

}

};

Base.registerWindowCloseKeys(dialog.getRootPane(), disposer);

Base.setIcon(dialog);

Dimension screen = Toolkit.getDefaultToolkit().getScreenSize();

dialog.setLocation((screen.width - wide) / 2,

(screen.height - high) / 2);

dialog.pack(); // get insets

Insets insets = dialog.getInsets();

dialog.setSize(wide + insets.left + insets.right,

high + insets.top + insets.bottom);

// handle window closing commands for ctrl/cmd-W or hitting ESC.

pain.addKeyListener(new KeyAdapter() {

public void keyPressed(KeyEvent e) {

//System.out.println(e);

KeyStroke wc = Editor.WINDOW_CLOSE_KEYSTROKE;

if ((e.getKeyCode() == KeyEvent.VK_ESCAPE) ||

(KeyStroke.getKeyStrokeForEvent(e).equals(wc))) {

disposeFrame();

}

}

});

}

public Dimension getPreferredSize() {

return new Dimension(wide, high);

}

// .................................................................

/**

protected void disposeFrame() {

dialog.dispose();

}

/**

protected void applyFrame() {

// put each of the settings into the table

setBoolean("build.verbose", verboseCompilationBox.isSelected());

setBoolean("upload.verbose", verboseUploadBox.isSelected());

setBoolean("upload.verify", verifyUploadBox.isSelected());

//setBoolean("sketchbook.prompt", sketchPromptBox.isSelected());

//setBoolean("sketchbook.auto_clean", sketchCleanBox.isSelected());

// if the sketchbook path has changed, rebuild the menus

String oldPath = get("sketchbook.path");

String newPath = sketchbookLocationField.getText();

if (!newPath.equals(oldPath)) {

editor.base.rebuildSketchbookMenus();

set("sketchbook.path", newPath);

}

setBoolean("editor.external", externalEditorBox.isSelected());

setBoolean("update.check", checkUpdatesBox.isSelected());

/*

String newSizeText = fontSizeField.getText();

try {

int newSize = Integer.parseInt(newSizeText.trim());

String pieces[] = PApplet.split(get("editor.font"), ',');

pieces[2] = String.valueOf(newSize);

set("editor.font", PApplet.join(pieces, ','));

} catch (Exception e) {

System.err.println(I18n.format(_("ignoring invalid font size {0}"), newSizeText));

}

if (autoAssociateBox != null) {

setBoolean("platform.auto_file_type_associations",

autoAssociateBox.isSelected());

}

setBoolean("editor.update_extension", updateExtensionBox.isSelected());

// adds the selected language to the preferences file

Object newItem = comboLanguage.getSelectedItem();

int pos = (Arrays.asList(languages)).indexOf(newItem.toString()); // position in the languages array

set("editor.languages.current",(Arrays.asList(languagesISO)).get(pos));

editor.applyPreferences();

}

protected void showFrame(Editor editor) {

this.editor = editor;

// set all settings entry boxes to their actual status

verboseCompilationBox.setSelected(getBoolean("build.verbose"));

verboseUploadBox.setSelected(getBoolean("upload.verbose"));

verifyUploadBox.setSelected(getBoolean("upload.verify"));

//closingLastQuitsBox.

// setSelected(getBoolean("sketchbook.closing_last_window_quits"));

//sketchPromptBox.

// setSelected(getBoolean("sketchbook.prompt"));

//sketchCleanBox.

// setSelected(getBoolean("sketchbook.auto_clean"));

sketchbookLocationField.

setText(get("sketchbook.path"));

externalEditorBox.

setSelected(getBoolean("editor.external"));

checkUpdatesBox.

setSelected(getBoolean("update.check"));

if (autoAssociateBox != null) {

autoAssociateBox.

setSelected(getBoolean("platform.auto_file_type_associations"));

}

updateExtensionBox.setSelected(get("editor.update_extension") == null ||

getBoolean("editor.update_extension"));

dialog.setVisible(true);

}

// .................................................................

static protected void load(InputStream input) throws IOException {

load(input, table);

}

static public void load(InputStream input, Map table) throws IOException {

String[] lines = PApplet.loadStrings(input); // Reads as UTF-8

for (String line : lines) {

if ((line.length() == 0) ||

(line.charAt(0) == '#')) continue;

// this won't properly handle = signs being in the text

int equals = line.indexOf('=');

if (equals != -1) {

String key = line.substring(0, equals).trim();

String value = line.substring(equals + 1).trim();

table.put(key, value);

}

}

}

// .................................................................

static protected void save() {

// on startup, don't worry about it

// this is trying to update the prefs for who is open

// before Preferences.init() has been called.

if (preferencesFile == null) return;

// Fix for 0163 to properly use Unicode when writing preferences.txt

PrintWriter writer = PApplet.createWriter(preferencesFile);

Enumeration e = table.keys(); //properties.propertyNames();

while (e.hasMoreElements()) {

String key = (String) e.nextElement();

writer.println(key + "=" + ((String) table.get(key)));

}

writer.flush();

writer.close();

}

// .................................................................

// all the information from preferences.txt

//static public String get(String attribute) {

//return get(attribute, null);

//}

static public String get(String attribute /*, String defaultValue */) {

return (String) table.get(attribute);

/*

}

static public String getDefault(String attribute) {

return (String) defaults.get(attribute);

}

static public void set(String attribute, String value) {

table.put(attribute, value);

}

static public void unset(String attribute) {

table.remove(attribute);

}

static public boolean getBoolean(String attribute) {

String value = get(attribute); //, null);

return (new Boolean(value)).booleanValue();

/*

}

static public void setBoolean(String attribute, boolean value) {

set(attribute, value ? "true" : "false");

}

static public int getInteger(String attribute /*, int defaultValue*/) {

return Integer.parseInt(get(attribute));

/*

}

static public void setInteger(String key, int value) {

set(key, String.valueOf(value));

}

static public Color getColor(String name) {

Color parsed = Color.GRAY; // set a default

String s = get(name);

if ((s != null) && (s.indexOf("#") == 0)) {

try {

parsed = new Color(Integer.parseInt(s.substring(1), 16));

} catch (Exception e) { }

}

return parsed;

}

static public void setColor(String attr, Color what) {

set(attr, "#" + PApplet.hex(what.getRGB() & 0xffffff, 6));

}

static public Font getFont(String attr) {

boolean replace = false;

String value = get(attr);

if (value == null) {

//System.out.println("reset 1");

value = getDefault(attr);

replace = true;

}

String[] pieces = PApplet.split(value, ',');

if (pieces.length != 3) {

value = getDefault(attr);

//System.out.println("reset 2 for " + attr);

pieces = PApplet.split(value, ',');

//PApplet.println(pieces);

replace = true;

}

String name = pieces[0];

int style = Font.PLAIN; // equals zero

if (pieces[1].indexOf("bold") != -1) {

style |= Font.BOLD;

}

if (pieces[1].indexOf("italic") != -1) {

style |= Font.ITALIC;

}

int size = PApplet.parseInt(pieces[2], 12);

Font font = new Font(name, style, size);

// replace bad font with the default

if (replace) {

set(attr, value);

}

return font;

}

static public SyntaxStyle getStyle(String what /*, String dflt*/) {

String str = get("editor." + what + ".style"); //, dflt);

StringTokenizer st = new StringTokenizer(str, ",");

String s = st.nextToken();

if (s.indexOf("#") == 0) s = s.substring(1);

Color color = Color.DARK_GRAY;

try {

color = new Color(Integer.parseInt(s, 16));

} catch (Exception e) { }

s = st.nextToken();

boolean bold = (s.indexOf("bold") != -1);

boolean italic = (s.indexOf("italic") != -1);

boolean underlined = (s.indexOf("underlined") != -1);

//System.out.println(what + " = " + str + " " + bold + " " + italic);

return new SyntaxStyle(color, italic, bold, underlined);

}