diff options
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.java | 20 |
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); } - }); + }); } */ |