📄 ipyedit.java
字号:
/*
* Created on 12/06/2005
*/
package org.python.pydev.core;
import java.util.Map;
import org.eclipse.jface.text.IDocument;
import org.eclipse.ui.IEditorInput;
import org.python.pydev.core.parser.IParserObserver;
/**
* @author Fabio
*/
public interface IPyEdit extends IParserObserver{
/**
* @return the python nature used in this editor
*/
IPythonNature getPythonNature();
/**
* @return the editor input
*/
IEditorInput getEditorInput();
/**
* This map may be used by clients to store info regarding this editor.
*
* Clients should be careful so that this key is unique and does not conflict with other
* plugins.
*
* This is not enforced.
*
* The suggestion is that the cache key is always preceded by the class name that will use it.
*/
Map<String,Object> getCache();
/**
* @return whether this edit and the one passed as a parameter have the same input.
*/
boolean hasSameInput(IPyEdit edit);
IDocument getDocument();
/**
* Set status message
*/
void setStatusLineErrorMessage(String msg);
}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -