ANNOUNCE: GtkEditor 0.1.5

[Thomas Mailund <mailund mail1 stofanet dk>]

Release notice for GtkEditor version 0.1.5:
-------------------------------------------

GtkEditor is a source code editor widget for GTK+.The gtkeditor widget
is sub-classing the gtktext widget and after initialisation, the
editor widget can be treated as the usual text widget, and all
source-code editing features are taken care of by the widget itself.
The behaviour of the editor is decided by either dynamic libraries
loaded during initialisation of the widget or linked with the
application using the widget.  These libraries can be hand-coded or
created using tools supplied with GtkEditor.

New in this version:

 * Scanner configuration and editor has been separated.  Scanners are
   specified in a lex-like language and compiled with a provided
   tool.  The scanners can then either be loaded at runtime or
   statically linked with applications.

 * Block highlighting has been added to the scanner/highlighting code.

 * A few new scanners has been added to the distribution.

 * A number of bugfixes.