Re: scintilla
| From: | Andrei Zmievski | Date: | Thu, 16 Aug 2001 15:23:05 +0000 |
| Subject: | Re: scintilla | ||
| References: | 1 | Groups: | php.gtk |
| Request: | Send a blank email to php-gtk+get-2875@lists.php.net to get a copy of this message | ||
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