blob: 93997046a28f72b7eadd98bb8a5f0f7c0ae7f03c [file] [log] [blame]
/*******************************************************************************
* 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 v1.0
* which accompanies this distribution, and is available at
* http://www.eclipse.org/legal/epl-v10.html
*
* 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);
}
}