gedit-plugin-terminal 3.22.0-4 (ppc64el binary) in ubuntu bionic

 gedit-plugins contain a set of plugins for gedit, GNOME's text editor.
 .
 This plugin embeds a terminal in the bottom pane.

Details

Package version:
3.22.0-4
Source:
gedit-plugins 3.22.0-4 source package in Ubuntu
Status:
Superseded
Component:
universe
Priority:
Optional