diff options
author | Sébastien Wilmet <swilmet@informatique-libre.be> | 2023-04-25 16:00:00 +0200 |
---|---|---|
committer | Sébastien Wilmet <swilmet@informatique-libre.be> | 2023-04-25 16:00:00 +0200 |
commit | b672cb7cce748c00533020734c8a2e9110437e4c (patch) | |
tree | 0ebf3c2caa4c1004fd6853c1efbe384d8249eb84 | |
parent | bcf8427a95be2102091f50025972232429332ea8 (diff) | |
download | gedit-b672cb7cce748c00533020734c8a2e9110437e4c.tar.gz |
Update list-of-gedit-plugins.md
See the relevant commit in the gedit-plugins repo to know the reasons
for the plugin removal.
-rw-r--r-- | plugins/list-of-gedit-plugins.md | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/plugins/list-of-gedit-plugins.md b/plugins/list-of-gedit-plugins.md index 536929510..740471c72 100644 --- a/plugins/list-of-gedit-plugins.md +++ b/plugins/list-of-gedit-plugins.md @@ -29,7 +29,6 @@ of the time) too specific to be distributed with gedit itself. - **Character Map** - *Insert special characters just by clicking on them.* - **Code Comment** - *Comment out or uncomment a selected block of code.* - **Color Picker** - *Pick a color from a dialog and insert its hexadecimal representation.* -- **Color Scheme Editor** - *Source code color scheme editor* - **Draw Spaces** - *Draw spaces and tabs* - **Embedded Terminal** - *Embed a terminal in the bottom pane.* - **Git** - *Highlight lines that have been changed since the last commit* |