Bug 85694 [preferences][navigation] correct editor-specific context menus
I20050215-2300 (m5 test pass) - open the preferences from the context menu in a) the java editor b) the properties file editor -> the java editor does not show the spelling page -> the properties file does not show the properties editor preference page fix is easy: change AbstractDecoratedTextEditor.collectContextMenuPreferencePages to include the spelling page, remove the obsolete entry from JavaEditor, and add the properties file editor page in PropertiesFileEditor.
org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/propertiesfileeditor/PropertiesFileEditor.java
/*
		 * @see ITextOperationTarget#canDoOperation(int)
		 */
		public boolean canDoOperation(int operation) {
			if (operation == CORRECTIONASSIST_PROPOSALS)
				return isEditable();
			
			return super.canDoOperation(operation);
		}
		
		/*
		 * @see org.eclipse.jface.text.source.ISourceViewerExtension2#unconfigure()
		 */
		public void unconfigure() {
			if (fCorrectionAssistant != null) {
				fCorrectionAssistant.uninstall();
				fCorrectionAssistant= null;
			}
			super.unconfigure();
		}
		
		/*
		 * @see org.eclipse.jface.text.source.ISourceViewer#configure(org.eclipse.jface.text.source.SourceViewerConfiguration)
		 */
		public void configure(SourceViewerConfiguration configuration) {
			super.configure(configuration);
			fCorrectionAssistant= new PropertiesFileCorrectionAssistant(PropertiesFileEditor.this);
			fCorrectionAssistant.setDocumentPartitioning(getSourceViewerConfiguration().getConfiguredDocumentPartitioning(this));
			fCorrectionAssistant.install(this);
		}