[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

[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

[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