Settings: Fix occasional GTK-Warning and blank menu entry in the terminal selection, some comments
Merge pull request #3710 from RavetcoFX/b25

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