Skip to main content
aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
Diffstat (limited to 'org.eclipse.help.ui/src/org/eclipse/help/ui/internal/search/InfoCenterPage.java')
-rw-r--r--org.eclipse.help.ui/src/org/eclipse/help/ui/internal/search/InfoCenterPage.java20
1 files changed, 10 insertions, 10 deletions
diff --git a/org.eclipse.help.ui/src/org/eclipse/help/ui/internal/search/InfoCenterPage.java b/org.eclipse.help.ui/src/org/eclipse/help/ui/internal/search/InfoCenterPage.java
index 125d214d2..cef402645 100644
--- a/org.eclipse.help.ui/src/org/eclipse/help/ui/internal/search/InfoCenterPage.java
+++ b/org.eclipse.help.ui/src/org/eclipse/help/ui/internal/search/InfoCenterPage.java
@@ -59,7 +59,7 @@ public class InfoCenterPage extends RootScopePage {
//private boolean firstCheck;
private RemoteWorkingSet workingSet;
-
+
private boolean tocStale;
class RemoteWorkingSet extends WorkingSet {
@@ -121,14 +121,14 @@ public class InfoCenterPage extends RootScopePage {
initializeDialogUnits(parent);
Label label = new Label(parent, SWT.NULL);
- label.setText(Messages.InfoCenterPage_url);
+ label.setText(Messages.InfoCenterPage_url);
urlText = new Text(parent, SWT.BORDER);
urlText.setLayoutData(new GridData(GridData.FILL_HORIZONTAL));
urlText.setEditable(getEngineDescriptor().isUserDefined());
searchAll = new Button(parent, SWT.RADIO);
- searchAll.setText(Messages.selectAll);
+ searchAll.setText(Messages.selectAll);
GridData gd = new GridData();
gd.horizontalSpan = 2;
searchAll.setLayoutData(gd);
@@ -142,7 +142,7 @@ public class InfoCenterPage extends RootScopePage {
});
searchSelected = new Button(parent, SWT.RADIO);
- searchSelected.setText(Messages.selectWorkingSet);
+ searchSelected.setText(Messages.selectWorkingSet);
gd = new GridData();
gd.horizontalSpan = 2;
searchSelected.setLayoutData(gd);
@@ -160,7 +160,7 @@ public class InfoCenterPage extends RootScopePage {
label = new Label(parent, SWT.WRAP);
label.setFont(font);
- label.setText(Messages.WorkingSetContent);
+ label.setText(Messages.WorkingSetContent);
gd = new GridData(GridData.GRAB_HORIZONTAL
| GridData.HORIZONTAL_ALIGN_FILL
| GridData.VERTICAL_ALIGN_CENTER);
@@ -201,7 +201,7 @@ public class InfoCenterPage extends RootScopePage {
() -> setSubtreeChecked(element, tree.getChecked(element), false));
}
});
-
+
applyDialogFont(parent);
// Set help for the page
@@ -240,7 +240,7 @@ public class InfoCenterPage extends RootScopePage {
}
}
}
-
+
private void resetRemoteTocs() {
remoteTocs = new AdaptableTocsArray(new IToc[0]);
}
@@ -338,7 +338,7 @@ public class InfoCenterPage extends RootScopePage {
}
});
}
-
+
private void updateTocs() {
//String url = urlText.getText();
//busyLoadTocs(url);
@@ -355,14 +355,14 @@ public class InfoCenterPage extends RootScopePage {
}
});
}
-
+
/*
private void busyLoadTocs(final String url) {
BusyIndicator.showWhile(urlText.getDisplay(), new Runnable() {
public void run() {
loadTocs(url);
}
- });
+ });
}
*/

Back to the top