Module jEdit

Class DirectoryProvider

java.lang.Object
org.gjt.sp.jedit.menu.DirectoryProvider
All Implemented Interfaces:
DynamicMenuProvider

public class DirectoryProvider extends Object implements DynamicMenuProvider
Version:
$Id: DirectoryProvider.java 25141 2020-04-07 22:43:40Z kpouer $
Author:
Slava Pestov
  • Constructor Details

    • DirectoryProvider

      public DirectoryProvider(String dir)
  • Method Details