/******************************************************************************* | |
* Copyright (c) 2005, 2012 IBM Corporation and others. | |
* All rights reserved. This program and the accompanying materials | |
* are made available under the terms of the Eclipse Public License 2.0 | |
* which accompanies this distribution, and is available at | |
* https://www.eclipse.org/legal/epl-2.0/ | |
* | |
* SPDX-License-Identifier: EPL-2.0 | |
* | |
* Contributors: | |
* IBM Corporation - initial API and implementation | |
*******************************************************************************/ | |
package org.eclipse.bpel.ui.editors; | |
import org.eclipse.jface.text.IDocument; | |
import org.eclipse.swt.events.FocusListener; | |
import org.eclipse.ui.IEditorInput; | |
import org.eclipse.ui.texteditor.AbstractDecoratedTextEditor; | |
import org.eclipse.ui.texteditor.ITextEditorActionConstants; | |
/** | |
* Text editor for IText objects. | |
*/ | |
public class TextEditor extends AbstractDecoratedTextEditor { | |
/** The Editor ID */ | |
public static final String TEXT_EDITOR_ID = TextEditor.class.getName(); | |
/** | |
* | |
*/ | |
public TextEditor() { | |
super(); | |
setDocumentProvider(new TextDocumentProvider()); | |
} | |
/** | |
* Remove unnecessary actions. | |
*/ | |
@Override | |
protected void createActions() { | |
super.createActions(); | |
setAction(ITextEditorActionConstants.PRINT, null); | |
setAction(ITextEditorActionConstants.SAVE, null); | |
setAction(ITextEditorActionConstants.REVERT_TO_SAVED, null); | |
} | |
/** | |
* Returns the current contents of this editor. | |
* @return the contents of the editor | |
*/ | |
public String getContents() { | |
IEditorInput input = getEditorInput(); | |
IDocument doc = getDocumentProvider().getDocument(input); | |
return doc.get(); | |
} | |
/** | |
* Removes the dirty state. | |
*/ | |
public void markAsClean() { | |
// this is almost a no-op | |
doSave(null); | |
} | |
@Override | |
protected boolean isOverviewRulerVisible() { | |
return false; | |
} | |
public void addFocusListener(FocusListener focusListener) { | |
getSourceViewer().getTextWidget().addFocusListener(focusListener); | |
} | |
public void removeFocusListener(FocusListener focusListener) { | |
getSourceViewer().getTextWidget().removeFocusListener(focusListener); | |
} | |
} |