gnome-desktop/gedit-plugins
Additional plugins for gedit.
Versions
Slot |
Version |
Repository |
Platforms |
0 |
46.0 |
gnome |
~amd64 |
arm? |
armv7? |
armv8? |
~x86 |
Metadata
Choices
OPTIONS
charmap |
Enable the Character Map plugin |
git |
Enable the Git plugin |
terminal |
Enable the Embedded Terminal plugin |
python_abis
3.10 |
Use Python ABI 3.10 |
3.11 |
Use Python ABI 3.11 |
3.12 |
Use Python ABI 3.12 |
3.13 |
Use Python ABI 3.13 |
3.9 |
Use Python ABI 3.9 |
vala_abis
0.54 |
Use Vala 0.54 |
0.56 |
Use Vala 0.56 |