org.gjt.sp.jedit.browser
Interface BrowserListener

All Superinterfaces:
EventListener

public interface BrowserListener
extends EventListener

A browser event listener.

Version:
$Id: BrowserListener.java,v 1.2 2001/09/08 04:50:46 spestov Exp $
Author:
Slava Pestov

Method Summary
 void filesActivated(VFSBrowser browser, VFS.DirectoryEntry[] files)
          The user has double-clicked a set of files.
 void filesSelected(VFSBrowser browser, VFS.DirectoryEntry[] files)
          The user has selected a set of files.
 

Method Detail

filesSelected

public void filesSelected(VFSBrowser browser,
                          VFS.DirectoryEntry[] files)
The user has selected a set of files.

Parameters:
browser - The VFS browser
files - The selected files

filesActivated

public void filesActivated(VFSBrowser browser,
                           VFS.DirectoryEntry[] files)
The user has double-clicked a set of files.

Parameters:
browser - The VFS browser
files - The selected files