Settings: Fix occasional GTK-Warning and blank menu entry in the terminal