📄 ipyeditlistener.java
字号:
package org.python.pydev.editor;
import java.util.ListResourceBundle;
import org.eclipse.core.runtime.IProgressMonitor;
import org.eclipse.jface.text.IDocument;
public interface IPyEditListener {
/**
* Anytime a PyEdit is saved, it will notify that to its listeners.
* @param edit the PyEdit that has just been saved.
*/
void onSave(PyEdit edit, IProgressMonitor monitor);
/**
* When the actions are being created in PyEdit, this method is called, so that contributors might add their own actions
* @param resources the resource bundle it used
* @param edit the PyEdit
*/
void onCreateActions(ListResourceBundle resources, PyEdit edit, IProgressMonitor monitor);
/**
* This method is called whenever the edit is disposed
* @param edit the edit that will be disposed.
*/
void onDispose(PyEdit edit, IProgressMonitor monitor);
void onSetDocument(IDocument document, PyEdit edit, IProgressMonitor monitor);
}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -