Menu
▾
▴
Re: [ jEdit-devel ] Plugin menu: pile of ...; SessionManager: RFE
|
From: <dmo...@gm...> - 2001-08-31 22:15:00
|
Hello Sergey, On Friday, August 31, 2001, 11:52:47 AM, you wrote: > Thanks for SessionManager plugin. I'd really like to use it. One thing > which is definitely missing: notification on the session change: > SessionManager.addSessionListener( myListener ); > Would it be difficult to implement it=3F Listen on EditBus for messages of type sessions.SessionChanged. Hope this helps, Dirk. |