Paquet : gedit-plugin-multi-edit (44.1-2)

[ Paquet source : gedit-plugins  ]

greffon d'édition multiple pour gedit

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

Ce greffon permet l'édition d'un document dans plusieurs endroits en même temps.

Autres paquets associés à gedit-plugin-multi-edit

• dep: gedit (<< 45~)

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

  dep: gedit (>= 44~)

• dep: gedit-plugins-common (>= 44.1-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: python3

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

• dep: python3-gi

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

• dep: python3-gi-cairo

  interfaçage avec Python 3 Cairo pour la bibliothèque GObject

• enh: gedit

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

Télécharger gedit-plugin-multi-edit

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

Architecture	Taille du paquet	Espace occupé une fois installé	Fichiers
amd64	27,6 ko	253,0 ko	[liste des fichiers]