[qubes-users] Re: xkb compose confusion

2019-11-23 Thread Ben Mulvihill
On Fri, 2019-11-22 at 06:50 +0100, Ben Mulvihill wrote: > I use the "US international with dead keys" keyboard > layout as a convenient way of getting accented characters.  > > The keyboard is defined in: >   /usr/share/X11/xkb/symbols/us > and the dead key combination

[qubes-users] xkb compose confusion

2019-11-21 Thread Ben Mulvihill
I use the "US international with dead keys" keyboard layout as a convenient way of getting accented characters.  The keyboard is defined in:   /usr/share/X11/xkb/symbols/us and the dead key combinations themselve are in:   /usr/share/X11/locale/en_US.UTF-8/Compose I am currently customising the

[qubes-users] Re: gtk fonts in kde

2018-12-10 Thread Ben Mulvihill
Two solutions: Given that the problem is turns out to be actually with QT fonts, not GTK fonts, one possible solution is to increase the DPI under System Settings / Fonts. Alternatively, switching from Breeze to Fedora under  Systems Settings / Workspace Theme makes Qubes Manager and the other

[qubes-users] Re: gtk fonts in kde

2018-11-25 Thread Ben Mulvihill
Update: I found one application which does respect the GTK font setting: PulseAudio Volume Manager. There are probably more, but other GTK applications like Firefox and Gedit ignore it. It looks as though Qubes Manager - which I particularly struggle with because the whole interface is tiny, not

[qubes-users] gtk fonts in kde

2018-11-24 Thread Ben Mulvihill
Hello, Does anyone know how to set the font for GTK applications in KDE? On my laptop Qubes Manager, for example, is barely readable. I've found a tab called "Widget Style of GNOME/GTK Applications" in KDE Settings under "Application Style" where I can set a GTK font, but it doesn't appear to