gedit-terminal gedit-plugin-terminal gedit-plugins Terminal

A simple terminal widget accessible from the bottom panel

GPL-2.0+ https://bugzilla.gnome.org/enter_bug.cgi?product=gedit&component=Plugins https://wiki.gnome.org/Apps/Gedit/ShippedPlugins GNOME org.gnome.gedit.desktop ar as ast be be@latin bg bn bn_IN br bs crh cs cy da de dz el en@shaw en_CA en_GB eo es et eu fa fr gl gu he hi hr hu id it ja kn ko lt lv mai mg mk ml mr ne nl nn or pa pl pt pt_BR ro si sk sl sq sr sr@latin sv ta te th tr uk vi xh zh_CN zh_HK gedit-plugin-terminal-3.20.0-1.fc24.x86_64.rpm