Paquet : gedit-plugin-terminal (46.0-2 et autres) [debports]

[ Paquet source :  ]

greffon de terminal pour gedit

Le paquet gedit-plugins fournit un jeu de greffons pour gedit.

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, xfconf-gsettings-backend

• dep: gedit (<< 47~)

  éditeur de texte populaire pour l’environnement de bureau GNOME

  dep: gedit (>= 46~)

• dep: gedit-plugins-common (>= 46.0-2)

  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 d'interface utilisateur graphique 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-tepl-6

  Text editor library for GTK - GObject introspection

• dep: gir1.2-vte-2.91

  GObject introspection data for the VTE library (GTK 3 version)

• dep: python3

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

• dep: python3-gi

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

• enh: gedit

  éditeur de texte populaire pour l’environnement de bureau GNOME

Télécharger gedit-plugin-terminal

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

Architecture	Version	Taille du paquet	Espace occupé une fois installé	Fichiers
hppa (portage non officiel)	46.0-2+b2	21,4 ko	218,0 ko	[liste des fichiers]