Uses of Interface
edu.rice.cs.drjava.ui.RecentFileManager.RecentFileAction

Packages that use RecentFileManager.RecentFileAction

edu.rice.cs.drjava.ui

The ui package contains classes for the default user interface for DrJava.

Uses of RecentFileManager.RecentFileAction in edu.rice.cs.drjava.ui

Fields in edu.rice.cs.drjava.ui declared as RecentFileManager.RecentFileAction

protected RecentFileManager.RecentFileAction

RecentFileManager._recentFileAction An action that will be invoked when the file is clicked.

Constructors in edu.rice.cs.drjava.ui with parameters of type RecentFileManager.RecentFileAction

RecentFileManager(int pos, JMenu fileMenu, RecentFileManager.RecentFileAction action, VectorOption<File> settingConfigConstant)
Creates a new RecentFileManager.