Description
Side and bottom panels can be toggled from header-bar buttons inside gedit.
This is an editor plugin. It extends text editing workflows and is useful only when gedit is the editor being used.
FICHA · AUR
gedit-panel-toggler
Gedit 3 plugin to toggle side and bottom panels using buttons in header bar
- editor-plugin
- PLUGIN
- EDITOR
- Dependency only
official+codex · reviewed · May 31, 2026 description in
en Permissions
Permissions not analysed for this source yet.