From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Delivered-To: caml-list@yquem.inria.fr Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by yquem.inria.fr (Postfix) with ESMTP id C9A83BCAE for ; Fri, 8 Jul 2005 12:22:31 +0200 (CEST) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id j68AMVsf027134 for ; Fri, 8 Jul 2005 12:22:31 +0200 Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id MAA25473 for ; Fri, 8 Jul 2005 12:22:30 +0200 (MET DST) Received: from ms002msg.fastwebnet.it (ms002msg.fastwebnet.it [213.140.2.52]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id j68AMTBw021136 for ; Fri, 8 Jul 2005 12:22:29 +0200 Received: from dalamar (37.10.140.105) by ms002msg.fastwebnet.it (7.2.059.7) id 42A6223A002EFD03; Fri, 8 Jul 2005 12:22:29 +0200 Received: by dalamar (Postfix, from userid 3148) id AE6874D4067; Fri, 8 Jul 2005 12:17:16 +0200 (CEST) Date: Fri, 8 Jul 2005 12:17:16 +0200 From: Stefano Zacchiroli To: Inria Ocaml Mailing List , LablGTK Mailing List Subject: ANNOUNCE: LablGtkSourceView Message-ID: <20050708101716.GA31200@takhisis.invalid> Mail-Followup-To: Inria Ocaml Mailing List , LablGTK Mailing List Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline User-Agent: Mutt/1.5.9i X-Miltered: at nez-perce with ID 42CE53E7.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at concorde with ID 42CE53E5.001 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; zacchiroli:01 unibo:01 ocaml:01 gtk:01 widget:01 gtk:01 syntax:01 widget:01 syntax:01 lablgtk:01 lgpl:01 unibo:01 cheers:01 zacchiroli:01 atm:98 X-Spam-Checker-Version: SpamAssassin 3.0.2 (2004-11-16) on yquem.inria.fr X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.0.2 X-Spam-Level: I'm pleased to announce the first public release of LablGtkSourceView, OCaml binding for GtkSourceView (http://gtksourceview.sourceforge.net/), a GTK widget which extends the standrd GTK text widgets implementing syntax highlighting, automatic indentation, and other typical features of source editors. ATM not many methods of the widget are bound, but it is already possible to instantiate widgets, load .lang files which describe syntax highlighting, and enable/disable core features like automatic indentation, tab sizes, line numbers, ... Bound widgets properly fit in the LablGtk class hierarchy. LablGtkSourceView is distributed under the term of the GNU Lesser General Public License (LGPL) and is available for download here: http://helm.cs.unibo.it/software/lablgtksourceview/ Cheers. -- Stefano Zacchiroli -*- Computer Science PhD student @ Uny Bologna, Italy zack@{cs.unibo.it,debian.org,bononia.it} -%- http://www.bononia.it/zack/ If there's any real truth it's that the entire multidimensional infinity of the Universe is almost certainly being run by a bunch of maniacs. -!-