| Package | Description | 
|---|---|
| org.gjt.sp.jedit.menu | Classes for generation of dynamic menus | 
| Modifier and Type | Class and Description | 
|---|---|
| class  | DirectoryProvider | 
| class  | FavoritesProvider | 
| class  | MacrosProvider | 
| class  | MarkersProvider | 
| class  | PluginsProvider | 
| class  | RecentDirectoriesProvider | 
| class  | RecentFilesProvider | 
| class  | ReloadWithEncodingProviderMenu provider for actions to reload the current buffer with a
 specific encoding. | 
| Modifier and Type | Field and Description | 
|---|---|
| protected DynamicMenuProvider | EnhancedMenu. provider |