diff options
author | Markus Keller | 2010-11-10 15:37:24 +0000 |
---|---|---|
committer | Markus Keller | 2010-11-10 15:37:24 +0000 |
commit | fdd07c4fa38a94ec7a53529f6cf80cc4e4b4b629 (patch) | |
tree | ad80382935d02fe75a07380220fdbaf40ecb114c /org.eclipse.ui.editors | |
parent | 78bfcb70ea8abc7fb39a19b4776fc69741a5e778 (diff) | |
download | eclipse.platform.text-fdd07c4fa38a94ec7a53529f6cf80cc4e4b4b629.tar.gz eclipse.platform.text-fdd07c4fa38a94ec7a53529f6cf80cc4e4b4b629.tar.xz eclipse.platform.text-fdd07c4fa38a94ec7a53529f6cf80cc4e4b4b629.zip |
Bug 170385: [correction] Quick Fix autocomplete should remember listbox sizev20101116-0800
Diffstat (limited to 'org.eclipse.ui.editors')
-rw-r--r-- | org.eclipse.ui.editors/src/org/eclipse/ui/editors/text/TextSourceViewerConfiguration.java | 3 | ||||
-rw-r--r-- | org.eclipse.ui.editors/src/org/eclipse/ui/internal/editors/text/EditorsPlugin.java | 19 |
2 files changed, 20 insertions, 2 deletions
diff --git a/org.eclipse.ui.editors/src/org/eclipse/ui/editors/text/TextSourceViewerConfiguration.java b/org.eclipse.ui.editors/src/org/eclipse/ui/editors/text/TextSourceViewerConfiguration.java index ae398b75dbc..0360565af0f 100644 --- a/org.eclipse.ui.editors/src/org/eclipse/ui/editors/text/TextSourceViewerConfiguration.java +++ b/org.eclipse.ui.editors/src/org/eclipse/ui/editors/text/TextSourceViewerConfiguration.java @@ -400,8 +400,9 @@ public class TextSourceViewerConfiguration extends SourceViewerConfiguration { if (fPreferenceStore == null || !fPreferenceStore.getBoolean(SpellingService.PREFERENCE_SPELLING_ENABLED)) return null; - IQuickAssistAssistant assistant= new QuickAssistAssistant(); + QuickAssistAssistant assistant= new QuickAssistAssistant(); assistant.setQuickAssistProcessor(new SpellingCorrectionProcessor()); + assistant.setRestoreCompletionProposalSize(EditorsPlugin.getDefault().getDialogSettingsSection("quick_assist_proposal_size")); //$NON-NLS-1$ assistant.setInformationControlCreator(getQuickAssistAssistantInformationControlCreator()); return assistant; diff --git a/org.eclipse.ui.editors/src/org/eclipse/ui/internal/editors/text/EditorsPlugin.java b/org.eclipse.ui.editors/src/org/eclipse/ui/internal/editors/text/EditorsPlugin.java index 5362bdba9ec..80574942c49 100644 --- a/org.eclipse.ui.editors/src/org/eclipse/ui/internal/editors/text/EditorsPlugin.java +++ b/org.eclipse.ui.editors/src/org/eclipse/ui/internal/editors/text/EditorsPlugin.java @@ -1,5 +1,5 @@ /******************************************************************************* - * Copyright (c) 2000, 2008 IBM Corporation and others. + * Copyright (c) 2000, 2010 IBM Corporation and others. * All rights reserved. This program and the accompanying materials * are made available under the terms of the Eclipse Public License v1.0 * which accompanies this distribution, and is available at @@ -18,6 +18,7 @@ import org.eclipse.core.runtime.IStatus; import org.eclipse.core.runtime.MultiStatus; import org.eclipse.core.runtime.Status; +import org.eclipse.jface.dialogs.IDialogSettings; import org.eclipse.jface.util.IPropertyChangeListener; import org.eclipse.jface.util.PropertyChangeEvent; @@ -281,4 +282,20 @@ public class EditorsPlugin extends AbstractUIPlugin { return TextEditorMessages.EditorsPlugin_additionalInfo_affordance; } + /** + * Returns a section in the ui.editors plugin's dialog settings. If the section doesn't exist yet, it is created. + * + * @param name the name of the section + * @return the section of the given name + * @since 3.7 + */ + public IDialogSettings getDialogSettingsSection(String name) { + IDialogSettings dialogSettings= getDialogSettings(); + IDialogSettings section= dialogSettings.getSection(name); + if (section == null) { + section= dialogSettings.addNewSection(name); + } + return section; + } + } |