Package org.gjt.sp.jedit.menu

Classes for generation of dynamic menus
Skip navigation links