Comment 2 for bug 1250991

I did find alternative way to change my preferences by right-clicking in the terminal and going to preferences. But, the fact that the panel menu is gone still remains.