Fix: the combo box used to set the style of the plots was not updated
correctly
ps plot view in Java
fixed: polar points not computed correctly
fixed: the last point of ps plots was not painted
The commands pspicture and endpspicture are now supported.
Support of begin{pspicture} without any coordinate.
mini toolbars are not toggle buttons
fixed: text thumbnails might be the same for text shapes having the same
text with a different colour.
fixed: the position of thumbnails of coloured text shapes might not be
correct