eessppeelllloo/processing4
1
0
Fork 0
mirror of https://github.com/processing/processing4.git synced 2026-02-12 18:10:43 +01:00
Code Issues Packages Projects Releases Wiki Activity

fixes to prefs window and the updater

Browse Source
This commit is contained in:
benfry
2005-04-30 05:54:27 +00:00
parent 3d7bbf86a2
commit 2c5e310fd5
5 changed files with 107 additions and 73 deletions
Download Patch File Download Diff File Expand all files Collapse all files

28
processing/app/Preferences.java
View File

@@ -340,41 +340,29 @@ public class Preferences extends JComponent {
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());
/*
label.addMouseListener(new MouseAdapter() {
public void mousePressed(MouseEvent e) {
// close the frame and ignore any changes.
// otherwise, any changes made to preferences.txt
// will be lost when the prefs window is closed,
// since things will be re-applied.
disposeFrame();
// now safe to open the text file
Base.openURL(preferencesFile.getAbsolutePath());
}
});
*/
//label.setForeground(new Color(51, 25, 153));
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 Processing 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?
right = Math.max(right, left + d.width + GUI_BETWEEN +
BUTTON_WIDTH + GUI_SMALL + BUTTON_WIDTH);
//right = Math.max(right, left + d.width + GUI_BETWEEN +
// BUTTON_WIDTH + GUI_SMALL + BUTTON_WIDTH);
button = new JButton(PROMPT_OK);
button.addActionListener(new ActionListener() {
@@ -388,7 +376,7 @@ public class Preferences extends JComponent {
BUTTON_HEIGHT = d2.height;
// smoosh up to the line before
top -= BUTTON_HEIGHT;
//top -= BUTTON_HEIGHT;
h = right - (BUTTON_WIDTH + GUI_SMALL + BUTTON_WIDTH);
button.setBounds(h, top, BUTTON_WIDTH, BUTTON_HEIGHT);
@@ -409,7 +397,7 @@ public class Preferences extends JComponent {
// finish up
wide = right + GUI_BIG;
high = top + GUI_BIG;
high = top + GUI_SMALL; //GUI_BIG;
setSize(wide, high);