[editors] Remove support for jEdit

thoni56 · May 2, 2024 · 932dacd · 932dacd
1 parent 70e4530
commit 932dacd
Show file tree

Hide file tree

Showing 90 changed files with 27 additions and 14,789 deletions.
diff --git a/editors/Makefile b/editors/Makefile
@@ -1,3 +1,2 @@
 all:
 	$(MAKE) -C emacs
-	$(MAKE) -C jedit
diff --git a/editors/emacs/c-xref.el b/editors/emacs/c-xref.el
@@ -7165,7 +7165,7 @@ refactoring.
   (c-xref-entry-point-make-initialisations)
   (setq c-xref-global-dispatch-data (c-xref-get-basic-server-dispatch-data 'c-xref-server-process))
   (c-xref-server-call-on-current-buffer-no-saves
-   "-olcxgetrefactorings -editor=emacs"
+   "-olcxgetrefactorings"
    c-xref-global-dispatch-data)
   )
 

diff --git a/editors/jedit/.gitignore b/editors/jedit/.gitignore
diff --git a/editors/jedit/CrDistrib b/editors/jedit/CrDistrib
diff --git a/editors/jedit/Makefile b/editors/jedit/Makefile
diff --git a/editors/jedit/Protocol.java b/editors/jedit/Protocol.java
diff --git a/editors/jedit/Protocol.java.tmp b/editors/jedit/Protocol.java.tmp
diff --git a/editors/jedit/Protocol.template b/editors/jedit/Protocol.template
diff --git a/editors/jedit/Xrefactory/Xrefactory.props b/editors/jedit/Xrefactory/Xrefactory.props