[Bug 1781832] Re: gnome tweak tool kills session when changing fonts

2018-07-20 Thread Jazz Veritas
Yup, #4 seems to have fixed it. That narrows the scope of the bug considerably: now I'm reduced to complaining that it crashed, rather than gracefully handling a corrupted database. ** Summary changed: - gnome tweak tool kills session when changing fonts + gnome tweak tool and control center shou

[Bug 1781832] Re: gnome tweak tool kills session when changing fonts

2018-07-19 Thread Jazz Veritas
I think this is the same problem: https://www.reddit.com/r/Ubuntu/comments/8j6iu5/ubuntu_1804_crashes_when_opening_system_settings/ However, their solution was to upgrade nvidia drivers to 384, and I'm already running 390. -- You received this bug notification because you are a member of Ubuntu

[Bug 1781832] Re: gnome tweak tool kills session when changing fonts

2018-07-19 Thread Jazz Veritas
I may have filed this in the wrong component: I'm getting a similar- looking crash when I try to change keyboard shortcuts through the default settings tool. ** Also affects: gnome-control-center (Ubuntu) Importance: Undecided Status: New -- You received this bug notification because y

[Bug 1781832] [NEW] gnome tweak tool kills session when changing fonts

2018-07-15 Thread Jazz Veritas
Public bug reported: Ubuntu 18.04 on Dell XPS 15 9570. gnome-tweak-tool 3.28.1-1 Steps to reproduce: 1) Open gnome-tweaks (via launcher or command line) 2) Switch to "fonts" page 3) Click the font switcher for "Interface" fonts (Others may also do this but I can't test without losing this report

[Bug 1781832] Re: gnome tweak tool kills session when changing fonts

2018-07-15 Thread Jazz Veritas
Tested the other font categories, and they crash as well. -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1781832 Title: gnome tweak tool kills session when changing fonts To manage notifications abo