| org.gjt.sp.jedit.browser.BrowserListener
BrowserListener | public interface BrowserListener extends EventListener(Code) | | A browser event listener.
author: Slava Pestov version: $Id: BrowserListener.java 5179 2005-02-05 20:34:41Z spestov $ |
filesActivated | void filesActivated(VFSBrowser browser, VFSFile[] files)(Code) | | The user has double-clicked a set of files.
Parameters: browser - The VFS browser Parameters: files - The selected files since: jEdit 4.3pre1 |
filesSelected | void filesSelected(VFSBrowser browser, VFSFile[] files)(Code) | | The user has selected a set of files.
Parameters: browser - The VFS browser Parameters: files - The selected files since: jEdit 4.3pre1 |
|
|