mirrors/cdt
1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-04-29 19:45:01 +02:00
Code Issues Wiki Activity

Trying a bit different wording for global workspace provider

Browse source
This commit is contained in:
Andrew Gvozdev 2011-08-04 16:28:17 -04:00
parent cd2fa8fadd
commit 53b2453e3f
2 changed files with 9 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
core/org.eclipse.cdt.ui/src/org/eclipse/cdt/internal/ui/language/settings/providers/LanguageSettingsProviderTab.java
View file

@ -389,7 +389,7 @@ public class LanguageSettingsProviderTab extends AbstractCPropertyTab {
if (!page.isForPrefs()) {
if (globalProviderCheckBox==null) {
globalProviderCheckBox = new Button(groupOptionsPage, SWT.CHECK);
globalProviderCheckBox.setText("Use global provider sharing settings among projects");
globalProviderCheckBox.setText("Share setting entries between projects (global provider)");
globalProviderCheckBox.addSelectionListener(new SelectionAdapter() {
@Override
public void widgetSelected(SelectionEvent e) {

11
core/org.eclipse.cdt.ui/src/org/eclipse/cdt/internal/ui/language/settings/providers/LanguageSettingsProvidersLabelProvider.java
View file

@ -107,10 +107,15 @@ class LanguageSettingsProvidersLabelProvider extends LabelProvider {
@Override
public String getText(Object element) {
if (element instanceof ILanguageSettingsProvider) {
String name = ((ILanguageSettingsProvider) element).getName();
if (name!=null)
ILanguageSettingsProvider provider = (ILanguageSettingsProvider) element;
String name = provider.getName();
if (name!=null) {
if (LanguageSettingsManager.isWorkspaceProvider(provider)) {
name = name + " [ Shared ]";
}
return name;
String id = ((ILanguageSettingsProvider) element).getId();
}
String id = provider.getId();
return "[ Not accessible id="+id+" ]";
}
return OOPS;