Hm - then it's surprising that the bottom panel is unavailable. If you run gedit in a terminal as Sébastien suggested, do you see any errors or warnings?adam
On Sun, Nov 3, 2013 at 1:18 PM, Luís de Sousa <luis a de sousa gmail com> wrote:
LuísHi Adam, thank you for the reply.I have most plug-ins enabled, including the one you mentioned.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:
LuísThanks,What may be causing this? Can I run GEdit on debug mode to see if I get some info on this?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.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.