Ah right makes sense! So I should have reported there in the first place. The reason I was confused is I thought that *only* the status bar problem concerned Gnome, not the preferences, but I see now that is not the case.
Thanks!
Ah right makes sense! So I should have reported there in the first place. The reason I was confused is I thought that *only* the status bar problem concerned Gnome, not the preferences, but I see now that is not the case.
Thanks!