From b672cb7cce748c00533020734c8a2e9110437e4c Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?S=C3=A9bastien=20Wilmet?= Date: Tue, 25 Apr 2023 16:00:00 +0200 Subject: Update list-of-gedit-plugins.md See the relevant commit in the gedit-plugins repo to know the reasons for the plugin removal. --- plugins/list-of-gedit-plugins.md | 1 - 1 file changed, 1 deletion(-) 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* -- cgit v1.2.1