Package: gedit-plugin-terminal
Source: gedit-plugins
Version: 48.1-3
Architecture: arm64
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian GNOME Maintainers <pkg-gnome-maintainers@lists.alioth.debian.org>
Installed-Size: 212
Depends: gedit (<< 49~), gedit (>= 48~), gedit-plugins-common (>= 48.1-3), gir1.2-glib-2.0, gir1.2-gtk-3.0, gir1.2-pango-1.0, gir1.2-peas-1.0, gir1.2-tepl-6, gir1.2-vte-2.91, python3-gi, dconf-gsettings-backend | gsettings-backend, python3:any
Enhances: gedit
Breaks: gedit-plugins (<< 3.22.0-2~)
Replaces: gedit-plugins (<< 3.22.0-2~)
Section: gnome
Priority: optional
Homepage: https://gedit-text-editor.org/
Description: Terminal plugin for gedit
 gedit-plugins contain a set of plugins for gedit.
 .
 This plugin embeds a terminal in the bottom pane.
