Paquet : gedit-plugin-multi-edit (3.30.1-3)

[ Paquet source : gedit-plugins  ]

greffon d'édition multiple pour gedit

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

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 (>= 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: 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

• dep: python3-gi-cairo

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

• enh: gedit

  Éditeur de texte officiel de 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	100,2 ko	321,0 ko	[liste des fichiers]
arm64	100,2 ko	321,0 ko	[liste des fichiers]
armhf	100,2 ko	321,0 ko	[liste des fichiers]
i386	100,2 ko	321,0 ko	[liste des fichiers]