On Fri, 2016-07-22 at 14:09 +0200, Stefan Salewski wrote: > On Fri, 2016-07-22 at 13:26 +0200, Stefan Salewski wrote: > > > > My font setting code in > > > > https://github.com/ngtk3/NEd > > > > is based on > > > > https://developer.gnome.org/gtk3/stable/ch01s04.html#id-1.2.3.12.5 > >
Well, was not that hard to find the code in gedit 3.20 https://mail.gnome.org/archives/gtk-list/2016-July/msg00036.html Seems to work, but that code is deprecated. At leat now I know that the texttag method from application 10 does not work for the whole buffer. Maybe I should try using CSS... _______________________________________________ gnome-devtools mailing list [email protected] https://mail.gnome.org/mailman/listinfo/gnome-devtools
