Ubuntu
gnome-settings-daemon package

Bug #1843499
Comment #3

Comment 3 for bug 1843499

Revision history for this message

Francois Thirioux (fthx) wrote on 2019-09-11:

#3

Capture d’écran de 2019-09-11 09-43-29.png Edit (104.9 KiB, image/png)

Here wxMaxima (Yaru gtk theme is not installed here).