fOverlayStore.setValue(key + "_bold", fBoldCheckBox.getSelection());
PreferenceConverter.setValue(fOverlayStore, key, fForegroundColorEditor.getColorValue());
			public void widgetSelected(SelectionEvent e) {				int i= fList.getSelectionIndex();				String key= fListModel[i][1];				fOverlayStore.setValue(key + "_bold", fBoldCheckBox.getSelection());			}