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 3 plugin to toggle side and bottom panels using buttons in header bar
en 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.
Permissions not analysed for this source yet.