key = BasicWindowHandler.KEY_FLOATINGPALETTES;
key2 = "prefsFloatingPalettes";
ggCheckBox = new PrefCheckBox( getResourceString( key2 ));
ggCheckBox.setPreferences( prefs, key );
tab.gridAdd( ggCheckBox, 1, row, -1, 1 );
ggCheckBox.addActionListener( new WarnPrefsChange( ggCheckBox, ggCheckBox, haveWarned, txtWarnLookAndFeel, title ));
// row++;
// prefs = GUIUtil.getUserPrefs();
// key2 = "prefsKeyStrokeHelp";
// lb = new JLabel( getResourceString( key2 ), JLabel.TRAILING );