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

[ Paquet source : gedit-plugins  ]

greffon de terminal pour gedit

Le paquet gedit-plugins fournit un jeu de greffons pour gedit, l'éditeur de texte de GNOME.

Ce greffon intègre un terminal dans le panneau du bas.

Autres paquets associés à gedit-plugin-terminal

• dep: dconf-gsettings-backend

  système de stockage de configuration simple - moteur GSettings

  ou gsettings-backend

  paquet virtuel fourni par dconf-gsettings-backend, gconf-gsettings-backend

• dep: gedit (>= 3.30)

  Éditeur de texte officiel de l'environnement de bureau GNOME

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

  fichiers communs pour gedit-plugins

• dep: gir1.2-glib-2.0

  données d'introspection pour GLib, GObject, Gio et GModule

• dep: gir1.2-gtk-3.0

  bibliothèque graphique d'interface utilisateur GTK+ - interface gir

• dep: gir1.2-pango-1.0

  placement et rendu de texte internationalisé - interface gir

• dep: gir1.2-peas-1.0

  bibliothèque de module d'application - fichiers d'introspection

• dep: gir1.2-vte-2.91

  données d'introspection GObject pour la bibliothèque VTE

• dep: python3

  langage orienté objet interactif de haut niveau – version par défaut de Python 3

• dep: python3-gi

  interfaçage avec Python 3 pour les bibliothèques gobject-introspection

• enh: gedit

  Éditeur de texte officiel de l'environnement de bureau GNOME

Télécharger gedit-plugin-terminal

Télécharger pour toutes les architectures proposées

Architecture	Taille du paquet	Espace occupé une fois installé	Fichiers
amd64	93,4 ko	281,0 ko	[liste des fichiers]