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 [email protected] 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 [email protected] 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 [email protected] 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
[email protected]
https://mail.gnome.org/mailman/listinfo/gtk-app-devel-list
___
gtk-app-devel-list mailing list
[email protected]
https://mail.gnome.org/mailman/listinfo/gtk-app-devel-list
___
gtk-app-devel-list mailing list
[email protected]
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
> > [email protected]
> > https://mail.gnome.org/mailman/listinfo/gtk-app-devel-list
> >
>
> ___
> gtk-app-devel-list mailing list
> [email protected]
> https://mail.gnome.org/mailman/listinfo/gtk-app-devel-list
___
gtk-app-devel-list mailing list
[email protected]
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
[email protected]
https://mail.gnome.org/mailman/listinfo/gtk-app-devel-list
___
gtk-app-devel-list mailing list
[email protected]
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 [email protected] 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 [email protected] https://mail.gnome.org/mailman/listinfo/gtk-app-devel-list
