Re: Changing font of GtkSourceView changes font of GtkSourceMap
More information at: https://gitlab.gnome.org/GNOME/gtksourceview/commit/0ae462ebc8eceb810f176a21792a63de4efe597b On Mon, Mar 4, 2019 at 8:41 AM Mitko Haralanov wrote: > > I haven't played with the FontMap but was thinking of going the route > of using CSS. That, in itself, is a bit of a hassle as I can't seem to > find a way to convert a PangoFontDescription to CSS but there are some > patches that I found online that should help. > > On Fri, Mar 1, 2019 at 7:16 PM Reuben Rissler wrote: > > > > > > > > > I filed the following bug: > > > https://gitlab.gnome.org/GNOME/gtksourceview/issues/41, which promptly > > > got close as "expected behavior". Apparently, you'd either have to use > > > CSS or install a new font map for the GtkSourceMap. > > Sure is disappointingly helpful. > > > > I can't figure out the connection code between the FontMap and the > > SourceMap. > > > > > ___ gtk-app-devel-list mailing list gtk-app-devel-list@gnome.org https://mail.gnome.org/mailman/listinfo/gtk-app-devel-list
Re: Changing font of GtkSourceView changes font of GtkSourceMap
I haven't played with the FontMap but was thinking of going the route of using CSS. That, in itself, is a bit of a hassle as I can't seem to find a way to convert a PangoFontDescription to CSS but there are some patches that I found online that should help. On Fri, Mar 1, 2019 at 7:16 PM Reuben Rissler wrote: > > > > > I filed the following bug: > > https://gitlab.gnome.org/GNOME/gtksourceview/issues/41, which promptly > > got close as "expected behavior". Apparently, you'd either have to use > > CSS or install a new font map for the GtkSourceMap. > Sure is disappointingly helpful. > > I can't figure out the connection code between the FontMap and the > SourceMap. > > > ___ gtk-app-devel-list mailing list gtk-app-devel-list@gnome.org https://mail.gnome.org/mailman/listinfo/gtk-app-devel-list
Re: Changing font of GtkSourceView changes font of GtkSourceMap
I filed the following bug: https://gitlab.gnome.org/GNOME/gtksourceview/issues/41, which promptly got close as "expected behavior". Apparently, you'd either have to use CSS or install a new font map for the GtkSourceMap. Sure is disappointingly helpful. I can't figure out the connection code between the FontMap and the SourceMap. ___ gtk-app-devel-list mailing list gtk-app-devel-list@gnome.org https://mail.gnome.org/mailman/listinfo/gtk-app-devel-list
Re: Re: Changing font of GtkSourceView changes font of GtkSourceMap
So, to close the loop... I filed the following bug: https://gitlab.gnome.org/GNOME/gtksourceview/issues/41, which promptly got close as "expected behavior". Apparently, you'd either have to use CSS or install a new font map for the GtkSourceMap. On Fri, Mar 1, 2019 at 2:30 PM Reuben Rissler wrote: > > > I forgot to cc the list. > > On 03/01/2019 03:23 PM, Mitko Haralanov wrote: > > Thanks for the example. > > > > I modified it to illustrate the behavior: > It verily looks like a bug to me. I can't figure out a way to work > around this either. > > > > import gi > > gi.require_version('GtkSource', '3.0') > > gi.require_version('Gtk', '3.0') > > from gi.repository import Gtk, GtkSource, GObject, Pango > > > > > > def set_font(button, view, map, tag): > > font_name = button.get_font_name() > > font = Pango.font_description_from_string(font_name) > > map_font = font.copy() > > map_font.set_size(1*Pango.SCALE) > > tag.set_property("font-desc", font) > > buffer = view.get_buffer() > > buffer.apply_tag(tag, buffer.get_start_iter(), buffer.get_end_iter()) > > map.set_property("font-desc", map_font) > > > > class GUI: > > def __init__(self): > > > > GObject.type_register(GtkSource.View) > > window = Gtk.Window() > > window.connect('destroy', self.on_window_destroy) > > box = Gtk.VBox() > > window.add(box) > > fontchooser = Gtk.FontButton() > > box.pack_start(fontchooser, False, True, 0) > > pane = Gtk.Paned(orientation=Gtk.Orientation.HORIZONTAL) > > box.pack_start(pane, True, True, 0) > > s_view = GtkSource.View() > > buffer = s_view.get_buffer() > > with open("/usr/share/doc/glade/README", 'r') as fd: > > buffer.set_text(fd.read()) > > tag = buffer.create_tag("buffer-font") > > pane.pack1(s_view, True, False) > > s_map = GtkSource.Map() > > s_map.set_view(s_view) > > pane.pack2(s_map, True, False) > > fontchooser.connect("font-set", set_font, s_view, s_map, tag) > > window.show_all() > > > > def on_window_destroy(self, window): > > Gtk.main_quit() > > > > if __name__ == "__main__": > > app = GUI() > > Gtk.main() > > > > Give it try and change the font of the view. You'll see that the font > > of the map changes to the same font as the view, including *the same > > size*. > > > > Thank you. > > > > On Thu, Feb 28, 2019 at 8:47 AM Reuben Rissler wrote: > >> I am not sure if this helps any: > >> > >> > >> #!/usr/bin/env python > >> > >> import gi > >> gi.require_version('GtkSource', '3.0') > >> gi.require_version('Gtk', '3.0') > >> from gi.repository import Gtk, GtkSource, GObject, Pango > >> > >> class GUI: > >> def __init__(self): > >> > >> GObject.type_register(GtkSource.View) > >> window = Gtk.Window() > >> window.connect('destroy', self.on_window_destroy) > >> pane = Gtk.Paned(orientation = Gtk.Orientation.HORIZONTAL) > >> window.add(pane) > >> s_view = GtkSource.View() > >> pane.pack1(s_view) > >> s_map = GtkSource.Map() > >> s_map.set_view(s_view) > >> pane.pack2(s_map) > >> s_map.set_property('font-desc', > >> Pango.font_description_from_string("Sans 3")) > >> window.show_all() > >> > >> def on_window_destroy(self, window): > >> Gtk.main_quit() > >> > >> > >> if __name__ == "__main__": > >> app = GUI() > >> Gtk.main() > >> > >> > >> > >> On 02/27/2019 12:36 PM, Mitko Haralanov via gtk-app-devel-list wrote: > >>> Still looking for some help on this. > >>> > >>> Thank you. > >>> > >>> On Mon, Feb 11, 2019 at 9:11 AM Mitko Haralanov > >>> wrote: > Any help would be appreciated. > > Thank you. > > On Tue, Feb 5, 2019 at 2:28 PM Mitko Haralanov > wrote: > > Forwarding to gtk-app-devel since there appears to be much more > > activity related to GtkSourceView. > > > > -- Forwarded message - > > From: Mitko Haralanov > > Date: Tue, Feb 5, 2019, 13:42 > > Subject: Changing font of GtkSourceView changes font of GtkSourceMap > > To: > > > > > > I can't figure out how to change the font of GtkSourceView and > > GtkSourceMap in a reasonable way. > > > > According to the documentation, the View and the Map should be using > > the same font but with the Map using a font size of 1pt. To me this > > implies that when I change the font of the TextBuffer of the View > > using tags, I can copy the PangoFontDescription to a new object, > > change the font size to 1pt and set the new PangoFontDescription as > > the "font-desc" property of the Map. > > > > In practice, however, the Map always has the exact same font size as > > the View. No matter what I do, I can't seem to change the
Fwd: Re: Changing font of GtkSourceView changes font of GtkSourceMap
I forgot to cc the list. On 03/01/2019 03:23 PM, Mitko Haralanov wrote: Thanks for the example. I modified it to illustrate the behavior: It verily looks like a bug to me. I can't figure out a way to work around this either. import gi gi.require_version('GtkSource', '3.0') gi.require_version('Gtk', '3.0') from gi.repository import Gtk, GtkSource, GObject, Pango def set_font(button, view, map, tag): font_name = button.get_font_name() font = Pango.font_description_from_string(font_name) map_font = font.copy() map_font.set_size(1*Pango.SCALE) tag.set_property("font-desc", font) buffer = view.get_buffer() buffer.apply_tag(tag, buffer.get_start_iter(), buffer.get_end_iter()) map.set_property("font-desc", map_font) class GUI: def __init__(self): GObject.type_register(GtkSource.View) window = Gtk.Window() window.connect('destroy', self.on_window_destroy) box = Gtk.VBox() window.add(box) fontchooser = Gtk.FontButton() box.pack_start(fontchooser, False, True, 0) pane = Gtk.Paned(orientation=Gtk.Orientation.HORIZONTAL) box.pack_start(pane, True, True, 0) s_view = GtkSource.View() buffer = s_view.get_buffer() with open("/usr/share/doc/glade/README", 'r') as fd: buffer.set_text(fd.read()) tag = buffer.create_tag("buffer-font") pane.pack1(s_view, True, False) s_map = GtkSource.Map() s_map.set_view(s_view) pane.pack2(s_map, True, False) fontchooser.connect("font-set", set_font, s_view, s_map, tag) window.show_all() def on_window_destroy(self, window): Gtk.main_quit() if __name__ == "__main__": app = GUI() Gtk.main() Give it try and change the font of the view. You'll see that the font of the map changes to the same font as the view, including *the same size*. Thank you. On Thu, Feb 28, 2019 at 8:47 AM Reuben Rissler wrote: I am not sure if this helps any: #!/usr/bin/env python import gi gi.require_version('GtkSource', '3.0') gi.require_version('Gtk', '3.0') from gi.repository import Gtk, GtkSource, GObject, Pango class GUI: def __init__(self): GObject.type_register(GtkSource.View) window = Gtk.Window() window.connect('destroy', self.on_window_destroy) pane = Gtk.Paned(orientation = Gtk.Orientation.HORIZONTAL) window.add(pane) s_view = GtkSource.View() pane.pack1(s_view) s_map = GtkSource.Map() s_map.set_view(s_view) pane.pack2(s_map) s_map.set_property('font-desc', Pango.font_description_from_string("Sans 3")) window.show_all() def on_window_destroy(self, window): Gtk.main_quit() if __name__ == "__main__": app = GUI() Gtk.main() On 02/27/2019 12:36 PM, Mitko Haralanov via gtk-app-devel-list wrote: Still looking for some help on this. Thank you. On Mon, Feb 11, 2019 at 9:11 AM Mitko Haralanov wrote: Any help would be appreciated. Thank you. On Tue, Feb 5, 2019 at 2:28 PM Mitko Haralanov wrote: Forwarding to gtk-app-devel since there appears to be much more activity related to GtkSourceView. -- Forwarded message - From: Mitko Haralanov Date: Tue, Feb 5, 2019, 13:42 Subject: Changing font of GtkSourceView changes font of GtkSourceMap To: I can't figure out how to change the font of GtkSourceView and GtkSourceMap in a reasonable way. According to the documentation, the View and the Map should be using the same font but with the Map using a font size of 1pt. To me this implies that when I change the font of the TextBuffer of the View using tags, I can copy the PangoFontDescription to a new object, change the font size to 1pt and set the new PangoFontDescription as the "font-desc" property of the Map. In practice, however, the Map always has the exact same font size as the View. No matter what I do, I can't seem to change the font size of the Map to 1pt, unless I change the font size of the View to 1pt, as well. What is the correct processes for changing the font size of both the View and the Map? Thank you, - Mitko ___ gtk-app-devel-list mailing list gtk-app-devel-list@gnome.org https://mail.gnome.org/mailman/listinfo/gtk-app-devel-list ___ gtk-app-devel-list mailing list gtk-app-devel-list@gnome.org https://mail.gnome.org/mailman/listinfo/gtk-app-devel-list ___ gtk-app-devel-list mailing list gtk-app-devel-list@gnome.org https://mail.gnome.org/mailman/listinfo/gtk-app-devel-list
Re: Changing font of GtkSourceView changes font of GtkSourceMap
Thanks for the example. I modified it to illustrate the behavior: import gi gi.require_version('GtkSource', '3.0') gi.require_version('Gtk', '3.0') from gi.repository import Gtk, GtkSource, GObject, Pango def set_font(button, view, map, tag): font_name = button.get_font_name() font = Pango.font_description_from_string(font_name) map_font = font.copy() map_font.set_size(1*Pango.SCALE) tag.set_property("font-desc", font) buffer = view.get_buffer() buffer.apply_tag(tag, buffer.get_start_iter(), buffer.get_end_iter()) map.set_property("font-desc", map_font) class GUI: def __init__(self): GObject.type_register(GtkSource.View) window = Gtk.Window() window.connect('destroy', self.on_window_destroy) box = Gtk.VBox() window.add(box) fontchooser = Gtk.FontButton() box.pack_start(fontchooser, False, True, 0) pane = Gtk.Paned(orientation=Gtk.Orientation.HORIZONTAL) box.pack_start(pane, True, True, 0) s_view = GtkSource.View() buffer = s_view.get_buffer() with open("/usr/share/doc/glade/README", 'r') as fd: buffer.set_text(fd.read()) tag = buffer.create_tag("buffer-font") pane.pack1(s_view, True, False) s_map = GtkSource.Map() s_map.set_view(s_view) pane.pack2(s_map, True, False) fontchooser.connect("font-set", set_font, s_view, s_map, tag) window.show_all() def on_window_destroy(self, window): Gtk.main_quit() if __name__ == "__main__": app = GUI() Gtk.main() Give it try and change the font of the view. You'll see that the font of the map changes to the same font as the view, including *the same size*. Thank you. On Thu, Feb 28, 2019 at 8:47 AM Reuben Rissler wrote: > > I am not sure if this helps any: > > > #!/usr/bin/env python > > import gi > gi.require_version('GtkSource', '3.0') > gi.require_version('Gtk', '3.0') > from gi.repository import Gtk, GtkSource, GObject, Pango > > class GUI: > def __init__(self): > > GObject.type_register(GtkSource.View) > window = Gtk.Window() > window.connect('destroy', self.on_window_destroy) > pane = Gtk.Paned(orientation = Gtk.Orientation.HORIZONTAL) > window.add(pane) > s_view = GtkSource.View() > pane.pack1(s_view) > s_map = GtkSource.Map() > s_map.set_view(s_view) > pane.pack2(s_map) > s_map.set_property('font-desc', > Pango.font_description_from_string("Sans 3")) > window.show_all() > > def on_window_destroy(self, window): > Gtk.main_quit() > > > if __name__ == "__main__": > app = GUI() > Gtk.main() > > > > On 02/27/2019 12:36 PM, Mitko Haralanov via gtk-app-devel-list wrote: > > Still looking for some help on this. > > > > Thank you. > > > > On Mon, Feb 11, 2019 at 9:11 AM Mitko Haralanov > > wrote: > >> Any help would be appreciated. > >> > >> Thank you. > >> > >> On Tue, Feb 5, 2019 at 2:28 PM Mitko Haralanov > >> wrote: > >>> Forwarding to gtk-app-devel since there appears to be much more activity > >>> related to GtkSourceView. > >>> > >>> -- Forwarded message - > >>> From: Mitko Haralanov > >>> Date: Tue, Feb 5, 2019, 13:42 > >>> Subject: Changing font of GtkSourceView changes font of GtkSourceMap > >>> To: > >>> > >>> > >>> I can't figure out how to change the font of GtkSourceView and > >>> GtkSourceMap in a reasonable way. > >>> > >>> According to the documentation, the View and the Map should be using > >>> the same font but with the Map using a font size of 1pt. To me this > >>> implies that when I change the font of the TextBuffer of the View > >>> using tags, I can copy the PangoFontDescription to a new object, > >>> change the font size to 1pt and set the new PangoFontDescription as > >>> the "font-desc" property of the Map. > >>> > >>> In practice, however, the Map always has the exact same font size as > >>> the View. No matter what I do, I can't seem to change the font size of > >>> the Map to 1pt, unless I change the font size of the View to 1pt, as > >>> well. > >>> > >>> What is the correct processes for changing the font size of both the > >>> View and the Map? > >>> > >>> Thank you, > >>> - Mitko > > ___ > > gtk-app-devel-list mailing list > > gtk-app-devel-list@gnome.org > > https://mail.gnome.org/mailman/listinfo/gtk-app-devel-list > > > > ___ > gtk-app-devel-list mailing list > gtk-app-devel-list@gnome.org > https://mail.gnome.org/mailman/listinfo/gtk-app-devel-list ___ gtk-app-devel-list mailing list gtk-app-devel-list@gnome.org https://mail.gnome.org/mailman/listinfo/gtk-app-devel-list
Re: Changing font of GtkSourceView changes font of GtkSourceMap
I am not sure if this helps any: #!/usr/bin/env python import gi gi.require_version('GtkSource', '3.0') gi.require_version('Gtk', '3.0') from gi.repository import Gtk, GtkSource, GObject, Pango class GUI: def __init__(self): GObject.type_register(GtkSource.View) window = Gtk.Window() window.connect('destroy', self.on_window_destroy) pane = Gtk.Paned(orientation = Gtk.Orientation.HORIZONTAL) window.add(pane) s_view = GtkSource.View() pane.pack1(s_view) s_map = GtkSource.Map() s_map.set_view(s_view) pane.pack2(s_map) s_map.set_property('font-desc', Pango.font_description_from_string("Sans 3")) window.show_all() def on_window_destroy(self, window): Gtk.main_quit() if __name__ == "__main__": app = GUI() Gtk.main() On 02/27/2019 12:36 PM, Mitko Haralanov via gtk-app-devel-list wrote: Still looking for some help on this. Thank you. On Mon, Feb 11, 2019 at 9:11 AM Mitko Haralanov wrote: Any help would be appreciated. Thank you. On Tue, Feb 5, 2019 at 2:28 PM Mitko Haralanov wrote: Forwarding to gtk-app-devel since there appears to be much more activity related to GtkSourceView. -- Forwarded message - From: Mitko Haralanov Date: Tue, Feb 5, 2019, 13:42 Subject: Changing font of GtkSourceView changes font of GtkSourceMap To: I can't figure out how to change the font of GtkSourceView and GtkSourceMap in a reasonable way. According to the documentation, the View and the Map should be using the same font but with the Map using a font size of 1pt. To me this implies that when I change the font of the TextBuffer of the View using tags, I can copy the PangoFontDescription to a new object, change the font size to 1pt and set the new PangoFontDescription as the "font-desc" property of the Map. In practice, however, the Map always has the exact same font size as the View. No matter what I do, I can't seem to change the font size of the Map to 1pt, unless I change the font size of the View to 1pt, as well. What is the correct processes for changing the font size of both the View and the Map? Thank you, - Mitko ___ gtk-app-devel-list mailing list gtk-app-devel-list@gnome.org https://mail.gnome.org/mailman/listinfo/gtk-app-devel-list ___ gtk-app-devel-list mailing list gtk-app-devel-list@gnome.org https://mail.gnome.org/mailman/listinfo/gtk-app-devel-list
Re: Changing font of GtkSourceView changes font of GtkSourceMap
Still looking for some help on this. Thank you. On Mon, Feb 11, 2019 at 9:11 AM Mitko Haralanov wrote: > > Any help would be appreciated. > > Thank you. > > On Tue, Feb 5, 2019 at 2:28 PM Mitko Haralanov wrote: > > > > Forwarding to gtk-app-devel since there appears to be much more activity > > related to GtkSourceView. > > > > -- Forwarded message - > > From: Mitko Haralanov > > Date: Tue, Feb 5, 2019, 13:42 > > Subject: Changing font of GtkSourceView changes font of GtkSourceMap > > To: > > > > > > I can't figure out how to change the font of GtkSourceView and > > GtkSourceMap in a reasonable way. > > > > According to the documentation, the View and the Map should be using > > the same font but with the Map using a font size of 1pt. To me this > > implies that when I change the font of the TextBuffer of the View > > using tags, I can copy the PangoFontDescription to a new object, > > change the font size to 1pt and set the new PangoFontDescription as > > the "font-desc" property of the Map. > > > > In practice, however, the Map always has the exact same font size as > > the View. No matter what I do, I can't seem to change the font size of > > the Map to 1pt, unless I change the font size of the View to 1pt, as > > well. > > > > What is the correct processes for changing the font size of both the > > View and the Map? > > > > Thank you, > > - Mitko ___ gtk-app-devel-list mailing list gtk-app-devel-list@gnome.org https://mail.gnome.org/mailman/listinfo/gtk-app-devel-list
Re: Changing font of GtkSourceView changes font of GtkSourceMap
Any help would be appreciated. Thank you. On Tue, Feb 5, 2019 at 2:28 PM Mitko Haralanov wrote: > > Forwarding to gtk-app-devel since there appears to be much more activity > related to GtkSourceView. > > -- Forwarded message - > From: Mitko Haralanov > Date: Tue, Feb 5, 2019, 13:42 > Subject: Changing font of GtkSourceView changes font of GtkSourceMap > To: > > > I can't figure out how to change the font of GtkSourceView and > GtkSourceMap in a reasonable way. > > According to the documentation, the View and the Map should be using > the same font but with the Map using a font size of 1pt. To me this > implies that when I change the font of the TextBuffer of the View > using tags, I can copy the PangoFontDescription to a new object, > change the font size to 1pt and set the new PangoFontDescription as > the "font-desc" property of the Map. > > In practice, however, the Map always has the exact same font size as > the View. No matter what I do, I can't seem to change the font size of > the Map to 1pt, unless I change the font size of the View to 1pt, as > well. > > What is the correct processes for changing the font size of both the > View and the Map? > > Thank you, > - Mitko ___ gtk-app-devel-list mailing list gtk-app-devel-list@gnome.org https://mail.gnome.org/mailman/listinfo/gtk-app-devel-list