Пакунок: gedit-plugin-terminal (3.30.1-3)

[ Source: gedit-plugins  ]

Terminal plugin for gedit

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

This plugin embeds a terminal in the bottom pane.

Інші пакунки пов'язані з gedit-plugin-terminal

• dep: dconf-gsettings-backend

  Проста система збереження налаштувань — інтерфейс до GSettings

  or gsettings-backend

  virtual package provided by dconf-gsettings-backend, gconf-gsettings-backend

• dep: gedit (>= 3.30)

  Офіційний текстовий редактор середовища GNOME

• dep: gedit-plugins-common (>= 3.30.1-3)

  Спільні файли для додатків Gedit

• dep: gir1.2-glib-2.0

  Дані самоспостереження для GLib, GObject, Gio та GModule

• dep: gir1.2-gtk-3.0

  Бібліотека графічного інтерфейсу користувача на GTK+ — прив’язка до Gir

• dep: gir1.2-pango-1.0

  Компонування та відтворення інтернаціоналізованого тексту — gir-прив’язки

• dep: gir1.2-peas-1.0

  Бібліотека підтримки втулків застосунками (файли самоспостереження)

• dep: gir1.2-vte-2.91

  Дані самоспостереження GObject для бібліотеки VTE

• dep: python3

  Інтерактивна об'єктно-орієнтована мова високого рівня (типова версія „python3“)

• dep: python3-gi

  Прив'язки Python 3 для бібліотек, що підтримують gobject-інтроспекцію

• enh: gedit

  Офіційний текстовий редактор середовища GNOME

Завантажити gedit-plugin-terminal

Завантаження для всіх доступних архітектур

Архітектура	Розмір пакунка	Розмір після встановлення	Файли
armhf	93.4 kB	281.0 kB	[список файлів]