adding elastic tabstops to a widget

2008-08-19 Thread Nick Gravgaard
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

Re: adding elastic tabstops to a widget

2008-08-20 Thread Havoc Pennington
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

Re: adding elastic tabstops to a widget

2008-08-20 Thread Nick Gravgaard
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

Re: adding elastic tabstops to a widget

2008-08-22 Thread Owen Taylor
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