diff options
| author | Sébastien Wilmet <swilmet@informatique-libre.be> | 2023-05-09 16:00:00 +0200 |
|---|---|---|
| committer | Sébastien Wilmet <swilmet@informatique-libre.be> | 2023-05-15 20:24:10 +0200 |
| commit | 0d5002eb869cb7162425902a8599740de8eb9337 (patch) | |
| tree | e8c806629d2291990c584d562dd23ee876d04ba3 | |
| parent | ca1904f1a1a6c7e1ebee442f920da95d5a742d9a (diff) | |
| download | gedit-master.tar.gz | |
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 740471c72..2bd752005 100644 --- a/plugins/list-of-gedit-plugins.md +++ b/plugins/list-of-gedit-plugins.md @@ -36,7 +36,6 @@ of the time) too specific to be distributed with gedit itself. - **Multi Edit** - *Edit document in multiple places at once* - **Session Saver** - *Save and restore your working sessions* - **Smart Spaces** - *Forget you’re not using tabulations.* -- **SyncTeX** - *Synchronize between LaTeX and PDF with gedit and evince.* - **Text Size** - *Easily increase and decrease the text size* - **Word Completion** - *Word completion using the completion framework* |