Пакет: gedit-plugin-bookmarks (3.38.1-1)

[ Источник: gedit-plugins  ]

Bookmarks plugin for gedit

gedit-plugins contain a set of plugins for gedit, GNOME's text editor.

This plugin enables easy document navigation with bookmarks.

Теги: Инструментарий интерфейса: GTK

Другие пакеты, относящиеся к gedit-plugin-bookmarks

• dep: gedit (<< 3.39)

  официальный текстовый редактор среды GNOME

  dep: gedit (>= 3.38.1)

• dep: gedit-plugins-common (>= 3.38.1-1)

  common files for gedit-plugins

• dep: libc6 (>= 2.4)

  библиотека GNU C: динамически подключаемые библиотеки
  также виртуальный пакет, предоставляемый libc6-udeb

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

  библиотека С-функций

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

  библиотека графического пользовательского интерфейса GTK

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

  графический элемент GTK+ с подсветкой синтаксиса — библиотека

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

  библиотека дополнений для приложений

• enh: gedit

  официальный текстовый редактор среды GNOME

Загрузка gedit-plugin-bookmarks

Загрузить для всех доступных архитектур

Архитектура	Размер пакета	В установленном виде	Файлы
armhf	30,9 Кб	229,0 Кб	[список файлов]