chiark / gitweb /
Fix island name finding (fixes bug mentioned in wiki)
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 8 Apr 2023 10:29:38 +0000 (11:29 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 8 Apr 2023 16:13:11 +0000 (17:13 +0100)
src/net/chiark/yarrg/MarketUploader.java

index 37be105196b8286d3b6905317bf867a0e58c2559..0ac0cb22f734824b10cec210c0b1788d407f3168 100644 (file)
@@ -774,7 +774,7 @@ implements Runnable, TopLevelWindowListener, GUIInitializedListener {
         e.getPropertyName().equals
         (AccessibleContext.ACCESSIBLE_CHILD_PROPERTY)) {
        Accessible islandInfo =
-         descendNodes(window,new int[] {0,1,0,0,2,2,0,0,0,0,1,2});;
+         descendNodes(window,new int[] {0,1,0,0,2,2,0,0,0,0,1,3});;
        String text = islandInfo.getAccessibleContext().getAccessibleText()
          .getAtIndex(AccessibleText.SENTENCE,0);
        int index = text.indexOf(":");