📄 pageselectionlistener.java
字号:
//Title: Curriculum Development Tool
//Copyright: Copyright (c) 2001
//Author: David Bradford - dbrad@medstat.med.utah.edu
//Company: Knowledge Weavers - http://medstat.med.utah.edu/kw/
//File: projects/tree/event/PageSelectionListener.java
//Description: Interface for tree Selection
package cdt.projects.tree.event;
/**
* This is an interface to be implemented in you want you know when a page is selected from
* a the tree. Right now it is just used for the {@link cdt.editor.HTMLEditor HTMLEditor}.
*
* @version 1.0
* @author David Bradford
*/
public interface PageSelectionListener {
/**
* This function is for when a page has been selected from the tree.
*
* @param event info about page selected.
*/
public void pageSelected(PageSelectionEvent event);
/**
* This function is for when a page needs to have text saved. Like when save, or preview is
* choosen.
*
* @param event info about saving info.
*/
public void pageNeeded(PageSelectionEvent event);
}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -