Re: [gedit-list] Bottom panel and Tools menu missing in GEdit 3.8.3

[Luís de Sousa <luis a de sousa gmail com>]

Hi Adam, thank you for the reply.

I have most plug-ins enabled, including the one you mentioned.

Luís

On 3 November 2013 19:03, Adam Dingle <adam medovina org> wrote:

Luís,

probably you have not enabled any plugins which use the bottom panel.  In this situation, View->Bottom Panel will be grayed out and there will be no Tools menu.

Go to Edit->Preferences->Plugins and enable External Tools (for example).  Then the bottom panel should be available and the Tools menu will appear.

adam

On Sun, Nov 3, 2013 at 12:55 PM, Luís de Sousa <luis a de sousa gmail com> wrote:

Dear all,

I started using GEdit 3.8.3 recently after upgrading my OS (Ubuntu 13.10). Yesterday I installed the plug-ins package, but contrary to previous versions of GEdit I wasn't able to activate the Bottom Panel by pressing Ctrl+F9; in the View menu the Bottom Panel option is greyed out and I can't enable it that way either.

Folks at AskUbuntu said I needed to reinstall GEdit, which I did (from the packages). I still do not have the Bottom Panel, but now the Tools is also gone, meaning for instance that I can't use the spell checker.

What may be causing this? Can I run GEdit on debug mode to see if I get some info on this?

Thanks,

Luís