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 |