Module jEdit

Class FavoritesProvider

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

public class FavoritesProvider extends Object implements DynamicMenuProvider
  • Constructor Details

    • FavoritesProvider

      public FavoritesProvider()
  • Method Details