Hi all,
I'm trying to make a proper GTK text editing widget that supports
elastic tabstops [1] with a view to being able to use it in the near
future in a PyGTK project (a programmer's text editor), and perhaps one
day getting it added to GtkTextView or GtkSourceView.
I have something pretty clos
Previous thread on this for reference spans three months:
http://mail.gnome.org/archives/gtk-devel-list/2007-July/msg00046.html
http://mail.gnome.org/archives/gtk-devel-list/2007-August/msg00086.html
http://mail.gnome.org/archives/gtk-devel-list/2007-September/msg00088.html
(save everyone else the
On Wed, 20 Aug 2008 11:30:56 -0400, "Havoc Pennington" <[EMAIL PROTECTED]>
said:
> Previous thread on this for reference spans three months:
> http://mail.gnome.org/archives/gtk-devel-list/2007-July/msg00046.html
> http://mail.gnome.org/archives/gtk-devel-list/2007-August/msg00086.html
> http://mai
On Tue, 2008-08-19 at 23:39 +0200, Nick Gravgaard wrote:
> Hi all,
>
> I'm trying to make a proper GTK text editing widget that supports
> elastic tabstops [1] with a view to being able to use it in the near
> future in a PyGTK project (a programmer's text editor), and perhaps one
> day getting it