lots of fixes for 0070p7

This commit is contained in:
benfry
2004-09-28 03:54:00 +00:00
parent 9047c52827
commit 6996fefa09
11 changed files with 55 additions and 26 deletions

View File

@@ -261,6 +261,7 @@ public class PdePreferences extends JComponent {
exportLibraryBox = new JCheckBox("Enable advanced \"Library\" features" +
" (requires restart)");
exportLibraryBox.setEnabled(false);
pain.add(exportLibraryBox);
d = exportLibraryBox.getPreferredSize();
exportLibraryBox.setBounds(left, top, d.width, d.height);