fixes editor header stuff, also 1.4-only prefs line, plus Info.plist

This commit is contained in:
benfry
2004-09-28 00:39:08 +00:00
parent ef7746d3b8
commit c8d896aa11
4 changed files with 15 additions and 12 deletions

View File

@@ -296,14 +296,14 @@ public class PdePreferences extends JComponent {
pain.add(textarea);
*/
label = new JLabel("More preferences can be edited directly in the file");
label.setForeground(Color.GRAY);
label.setForeground(Color.gray);
pain.add(label);
d = label.getPreferredSize();
label.setBounds(left, top, d.width, d.height);
top += d.height; // + GUI_SMALL;
label = new JLabel(preferencesFile.getAbsolutePath());
label.setForeground(Color.GRAY);
label.setForeground(Color.gray);
pain.add(label);
d = label.getPreferredSize();
label.setBounds(left, top, d.width, d.height);