gedit-plugin-terminal

Terminal plugin for gedit
  https://wiki.gnome.org/Apps/Gedit#Plugins
  0
  no reviews


Gedit-plugins contain a set of plugins for gedit.

This plugin embeds a terminal in the bottom pane.