|
|
Linux temps réel embarqué et outils de développements
|
Technique |
|
gedit-dev
gedit-dev | official text editor of the GNOME desktop environment (development files) | Priority | |
Section | devel |
Installed size | 272 |
Maintainer | Debian GNOME Maintainers <pkg-gnome-maintainers@lists.alioth.debian.org> |
Architecture | all |
Version | 2.14.4-8 |
Depends | gedit (>= 2.14.4-8), libgnomeprintui2.2-dev, libgtksourceview-dev, libgnomeui-dev, libglade2-dev |
Suggests | geda-utils, geda-gsymcheck, geda-examples, geda-gattrib, gerbv |
File name | pool/main/g/gedit/gedit-dev_2.14.4-8_all.deb |
Description | gedit is a text editor which supports most standard editor features, extending this basic functionality with other features not usually found in simple text editors. gedit is a graphical application which supports editing multiple text files in one window (known sometimes as tabs or MDI). . gedit fully supports international text through its use of the Unicode UTF-8 encoding in edited files. Its core feature set includes syntax highlighting of source code, auto indentation and printing and print preview support. . gedit is also extensible through its plugin system, which currently includes support for spell checking, comparing files, viewing CVS ChangeLogs, and adjusting indentation levels. . This package is required to build plugins for gedit. |
|
|