From 4fdb568b2e268068f6728c72e6c5e4d4cf7b2316 Mon Sep 17 00:00:00 2001
From: Ben Fry <ben@fathom.info>
Date: Sun, 8 Aug 2021 16:59:26 -0400
Subject: [PATCH] no longer loading environment/index.html from a local file

---
 java/src/processing/mode/java/JavaEditor.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/java/src/processing/mode/java/JavaEditor.java b/java/src/processing/mode/java/JavaEditor.java
index bb5b14231..33531a56c 100644
--- a/java/src/processing/mode/java/JavaEditor.java
+++ b/java/src/processing/mode/java/JavaEditor.java
@@ -294,7 +294,7 @@ public class JavaEditor extends Editor {
     menu.add(item);
 
     item = new JMenuItem(Language.text("menu.help.environment"));
-    item.addActionListener(e -> showReference("environment" + File.separator + "index.html"));
+    item.addActionListener(e -> showReference("environment/index.html"));
     menu.add(item);
 
     item = new JMenuItem(Language.text("menu.help.reference"));