Pakket: gedit-plugin-terminal (3.30.1-3)

[ Bron: gedit-plugins  ]

Terminal plugin for gedit

gedit-plugins contain a set of plugins for gedit, GNOME's text editor.

This plugin embeds a terminal in the bottom pane.

Andere aan gedit-plugin-terminal gerelateerde pakketten

• dep: dconf-gsettings-backend

  simple configuration storage system - GSettings back-end

  of gsettings-backend

  virtueel pakket geboden door dconf-gsettings-backend, gconf-gsettings-backend

• dep: gedit (>= 3.30)

  officiële tekstbewerker voor de GNOME-werkomgeving

• dep: gedit-plugins-common (>= 3.30.1-3)

  common files for gedit-plugins

• dep: gir1.2-glib-2.0

  Introspection data for GLib, GObject, Gio and GModule

• dep: gir1.2-gtk-3.0

  GTK+ graphical user interface library -- gir bindings

• dep: gir1.2-pango-1.0

  Layout and rendering of internationalized text - gir bindings

• dep: gir1.2-peas-1.0

  Application plugin library (introspection files)

• dep: gir1.2-vte-2.91

  GObject introspection data for the VTE library

• dep: python3

  interactive high-level object-oriented language (default python3 version)

• dep: python3-gi

  Python 3 bindings for gobject-introspection libraries

• enh: gedit

  officiële tekstbewerker voor de GNOME-werkomgeving

gedit-plugin-terminal downloaden

Pakket downloaden voor alle beschikbare platforms

Platform	Pakketgrootte	Geïnstalleerde grootte	Bestanden
amd64	93,4 kB	281,0 kB	[overzicht]
arm64	93,4 kB	281,0 kB	[overzicht]
armhf	93,4 kB	281,0 kB	[overzicht]
i386	93,4 kB	281,0 kB	[overzicht]