[ jEdit-CVS ] CVS update: plugins/Sessions/sessions

[Dirk M?b. <dmo...@us...>]

Date:	Friday November 22, 2002 @ 15:55
Author:	dmoebius

Update of /cvsroot/jedit/plugins/Sessions/sessions
In directory sc8-pr-cvs1:/tmp/cvs-serv17064/plugins/Sessions/sessions

Modified Files:
	SessionListChanged.java SessionMessage.java 
	SessionPropertiesChanged.java SessionPropertiesShowing.java 
	SessionPropertyChanged.java SessionPropertyRemoved.java 
	SessionSwitcher.java SessionsOptionPane.java 
	SessionsPlugin.html SessionsPlugin.java 
Added Files:
	History24.gif Preferences24.gif Redo24.gif Save24.gif 
	SaveAs24.gif 
Log Message:
- new option "Show toolbar inside BufferList"
- added missing icons
- removed deprecated API