jedit: use jdk8

4 years ago · 2edf265448
parent 05104cc104
commit 2edf265448
1 changed files with 3 additions and 1 deletions
--- a/pkgs/top-level/all-packages.nix
+++ b/pkgs/top-level/all-packages.nix
@ -21344,7 +21344,9 @@ in

  jdupes = callPackage ../tools/misc/jdupes { };

-  jedit = callPackage ../applications/editors/jedit { };
+  jedit = callPackage ../applications/editors/jedit {
+    jdk = jdk8; # TODO: upgrade
+  };

  jgmenu = callPackage ../applications/misc/jgmenu { };