GV

GeezerVison

The World Wide Web, restored to 800 pixels of glory.

Home|About|Gaming cabinet|Archives|How it works|Starter sites

On this site

  • Sign in
  • ActionsCI/CD and automation
  • CodespacesCloud development environments
  • All Features
  • Documentation
  • Training
  • Certifications
  • Build with Copilot
  • Customize Copilot
  • Integrations
  • Trending repos
  • GitHub Sponsors
  • Developer articles
  • Enterprises

This view

  • Original page
  • New address

GeezerVison is showing github.com — updated javaeditor and reverted requested change · processing/processing4@57ac508

File tree

Expand file treeCollapse file tree
Open diff view settings
Filter options
  • .idea
    • misc.xml
  • java/src/processing/mode/java
    • JavaEditor.java
Expand file treeCollapse file tree
Open diff view settings
Collapse file

‎.idea/misc.xml‎

Copy file name to clipboardExpand all lines: .idea/misc.xml
+1-1Lines changed: 1 addition & 1 deletion
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.
Collapse file

‎java/src/processing/mode/java/JavaEditor.java‎

Copy file name to clipboardExpand all lines: java/src/processing/mode/java/JavaEditor.java
+5-4Lines changed: 5 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -100,9 +100,10 @@ public class JavaEditor extends Editor {
100100
static final int REFERENCE_PORT = 8053;
101101
// weird to link to a specific location like this, but it's versioned, so:
102102
static final String REFERENCE_URL =
103-
"https://github.com/processing/processing-website/releases/download/2022-10-05-1459/reference.zip";
103+
"https://github.com/processing/processing4/releases/tag/processing-1300-4.4.0";
104+
static final String REFERENCE_URL_2 = "https://github.com/processing/processing4/releases/download/processing-1300-4.4.0/processing-4.4.0-reference.zip";
104105
Boolean useReferenceServer;
105-
WebServer referenceServer;
106+
ReferenceServer referenceServer;
106107

107108

108109
protected JavaEditor(Base base, String path, EditorState state,
@@ -846,7 +847,7 @@ public void showReference(String name) {
846847
}
847848
if (referenceZip.exists()) {
848849
try {
849-
referenceServer = new WebServer(referenceZip, REFERENCE_PORT);
850+
referenceServer = new ReferenceServer(referenceZip, REFERENCE_PORT);
850851
useReferenceServer = true;
851852

852853
} catch (IOException e) {
@@ -889,7 +890,7 @@ private boolean isReferenceDownloaded() {
889890

890891
private void downloadReference() {
891892
try {
892-
URL source = new URL(REFERENCE_URL);
893+
URL source = new URL(REFERENCE_URL_2);
893894
HttpURLConnection conn = (HttpURLConnection) source.openConnection();
894895
HttpURLConnection.setFollowRedirects(true);
895896
conn.setConnectTimeout(15 * 1000);

0 commit comments

Comments
0 (0)
You are visitor 01402520 — GeezerVison does not store the pages you look up.
Best viewed with Netscape Navigator 4.7 or Internet Explorer 6 at 800×600. No cookies required.