[prev in list] [next in list] [prev in thread] [next in thread] 

List:       jedit-users
Subject:    [ jEdit-users ] Plugins menu sorting changed
From:       Slava Pestov <sp () gjt ! org>
Date:       2000-08-30 17:10:04
[Download RAW message or body]

Hello everybody,

I have changed the sorting of the plugins menu to not
make a distinction between menus and menu items.

Have a nice day,

Slava

[prev in list] [next in list] [prev in thread] [next in thread]