1 11 12 package org.eclipse.help.ui.internal.search; 13 14 import org.eclipse.help.ui.RootScopePage; 15 import org.eclipse.help.ui.internal.Messages; 16 import org.eclipse.jface.preference.IPreferenceStore; 17 import org.eclipse.swt.SWT; 18 import org.eclipse.swt.events.ModifyEvent; 19 import org.eclipse.swt.events.ModifyListener; 20 import org.eclipse.swt.layout.GridData; 21 import org.eclipse.swt.widgets.Composite; 22 import org.eclipse.swt.widgets.Label; 23 import org.eclipse.swt.widgets.Text; 24 25 28 public class WebSearchPage extends RootScopePage { 29 private Text urlText; 30 31 34 public WebSearchPage() { 35 } 36 37 protected int createScopeContents(Composite parent) { 38 initializeDialogUnits(parent); 40 41 Label label = new Label(parent, SWT.NULL); 42 label.setText(Messages.WebSearchPage_label); 43 GridData gd = new GridData(GridData.VERTICAL_ALIGN_BEGINNING); 44 label.setLayoutData(gd); 45 urlText = new Text(parent, SWT.MULTI | SWT.WRAP | SWT.V_SCROLL 46 | SWT.BORDER); 47 gd = new GridData(GridData.FILL_HORIZONTAL); 48 gd.heightHint = 64; 49 gd.widthHint = 200; 50 urlText.setLayoutData(gd); 51 urlText.addModifyListener(new ModifyListener() { 52 public void modifyText(ModifyEvent e) { 53 validate(); 54 } 55 }); 56 urlText.setEditable(getEngineDescriptor().isUserDefined()); 57 new Label(parent, SWT.NULL); 58 label = new Label(parent, SWT.WRAP); 59 label.setText(Messages.WebSearchPage_info); 60 gd = new GridData(GridData.FILL_HORIZONTAL); 61 gd.widthHint = 100; 62 label.setLayoutData(gd); 63 applyDialogFont(parent); 64 updateControls(); 65 return 2; 66 } 67 68 71 protected void initializeDefaults(IPreferenceStore store) { 72 super.initializeDefaults(store); 73 String template = (String ) getEngineDescriptor().getParameters().get( 74 WebSearchScopeFactory.P_URL); 75 if (template != null) 76 store 77 .setDefault(getStoreKey(WebSearchScopeFactory.P_URL), 78 template); 79 } 80 81 84 protected void performDefaults() { 85 getPreferenceStore().setToDefault( 86 getStoreKey(WebSearchScopeFactory.P_URL)); 87 updateControls(); 88 super.performDefaults(); 89 } 90 91 private void updateControls() { 92 String template = getPreferenceStore().getString( 93 getStoreKey(WebSearchScopeFactory.P_URL)); 94 urlText.setText(template != null ? template : "http://"); validate(); 96 } 97 98 private void validate() { 99 String text = urlText.getText(); 100 setValid(text.length() > 0); 101 } 102 103 108 public boolean performOk() { 109 String urlTemplate = urlText.getText(); 110 getPreferenceStore().setValue(getStoreKey(WebSearchScopeFactory.P_URL), 111 urlTemplate); 112 return super.performOk(); 113 } 114 115 private String getStoreKey(String key) { 116 return getEngineDescriptor().getId() + "." + key; } 118 } 119 | Popular Tags |