Paket: gedit-plugin-bookmarks (44.1-2)

[ Quellcode: gedit-plugins  ]

Bookmarks plugin for gedit

gedit-plugins contain a set of plugins for gedit.

This plugin enables easy document navigation with bookmarks.

Markierungen: GUI-Baukasten: GTK

Andere Pakete mit Bezug zu gedit-plugin-bookmarks

• dep: gedit (<< 45~)

  Beliebter Texteditor für die Arbeitsumgebung GNOME

  dep: gedit (>= 44.2)

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

  common files for gedit-plugins

• dep: libc6 (>= 2.4)

  GNU-C-Bibliothek: Laufzeitbibliotheken
  auch ein virtuelles Paket, bereitgestellt durch libc6-udeb

• dep: libglib2.0-0 (>= 2.37.3)

  GLib - Bibliothek von C-Routinen

• dep: libgtk-3-0 (>= 3.11.5)

  GTK - Bibliothek für grafische Benutzeroberflächen

• dep: libgtksourceview-4-0 (>= 2.91.4)

  Laufzeitbibliothek für das GTK+-Widget für Syntaxmarkierung

• dep: libpeas-1.0-0 (>= 1.14.1)

  Bibliothek zur Unterstützung von Erweiterungen

• enh: gedit

  Beliebter Texteditor für die Arbeitsumgebung GNOME

gedit-plugin-bookmarks herunterladen

Download für alle verfügbaren Architekturen

Architektur	Paketgröße	Größe (installiert)	Dateien
armhf	27,6 kB	225,0 kB	[Liste der Dateien]