[Bug 1391012] Re: The preferences menu in gedit is missing.

2015-09-09 Thread Frann Leach
When will the missing preferences but in gedit be restored. It is required for legal reasons (accessibility) as there's no way to change the font without it. ** Changed in: gedit (Ubuntu) Status: Expired => Invalid ** Converted to question:

[Bug 1391012] Re: The preferences menu in gedit is missing.

2015-09-09 Thread Frann Leach
I don't see why this is marked with importance "low". It's vital to be able to change fonts if you have short sight. So for accessibility reasons (a legal requirement in UK), this should be set to high. I have the same problem after upgrading to 14.04. Had I known about it I would not have