library and video stuff

This commit is contained in:
benfry
2004-09-13 16:27:37 +00:00
parent 22ece1563c
commit afcc8cc473
3 changed files with 17 additions and 9 deletions

View File

@@ -259,7 +259,8 @@ public class PdePreferences extends JComponent {
// [ ] Enable export to "Library"
exportLibraryBox = new JCheckBox("Enable advanced \"Library\" features");
exportLibraryBox = new JCheckBox("Enable advanced \"Library\" features" +
" (requires restart)");
pain.add(exportLibraryBox);
d = exportLibraryBox.getPreferredSize();
exportLibraryBox.setBounds(left, top, d.width, d.height);