chiark / gitweb /
Merge branch 'island' into 'main'
authorIan Jackson <ywiivi@fyvzl.net>
Sat, 8 Apr 2023 16:13:45 +0000 (16:13 +0000)
committerIan Jackson <ywiivi@fyvzl.net>
Sat, 8 Apr 2023 16:13:45 +0000 (16:13 +0000)
Fix island name finding (fixes bug mentioned in wiki)

See merge request yarrg/jarrg!3

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(":");