Re: [PHP-GTK] scintilla

[email protected] (Andrei Zmievski) Thu, 16 Aug 2001 10:23:05 -0500

Newsgroups	php.gtk
Message-ID	<[email protected]>

On Thu, 16 Aug 2001, Daniel Adams wrote:
> Just out of curiosity, what is the scintilla extension?

Text/source code editing widget.

-Andrei

Any sufficiently advanced bug is
indistinguishable from a feature.
                -- Rich Kulawiec