File: terminal.plugin.desktop.in.in

package info (click to toggle)
gedit-plugins 48.1-2
  • links: PTS, VCS
  • area: main
  • in suites: trixie
  • size: 9,084 kB
  • sloc: python: 2,730; ansic: 2,549; xml: 199; makefile: 11
file content (12 lines) | stat: -rw-r--r-- 369 bytes parent folder | download | duplicates (2) 
1
2
3
4
5
6
7
8
9
10
11
12
 
[Plugin]
Loader=python3
Module=terminal
IAge=3
Name=Embedded Terminal
Description=Embed a terminal in the bottom panel.
# Translators: Do NOT translate or transliterate this text (this is an icon file name)!
Icon=utilities-terminal
Authors=Paolo Borelli
Copyright=Copyright © 2005 Paolo Borelli
Website=https://gedit-technology.github.io/apps/gedit/
Version=@VERSION@