gedit-plugin-panel-manager. This is a plugin for the Gedit text editor, giving an easy access to controls for hiding/showing Gedit panels.