Whitespace plugin changelog.

Version 1.0.2
	A new dialog window with WhiteSpace buffer options, duplicating plugin
	  menu checkboxes, patch #3433672 (Jarek Czekalski)
	Bug #1542027 fixed: OptionPanes were returning invalid names (Alan Ezust)

Version 0.9.2		Requires JDK 1.3, jEdit 4.2pre1
	Updated for jEdit 4.2 plugin API

Version 0.9.1		Requires JDK 1.2, jEdit 4.0pre4
	Updated for jEdit 4.0 Buffer API
	Updated for jEdit 4.0 Highlighting API

Version 0.9		Requires JDK 1.1, jEdit 3.2.2
	Ant now used as build tool
	DocBook now used for the documentation
	WhiteSpace options are now Buffer properties
	All highlighting options but fold highlighting default to false

:noTabs=false:
