--- src/javajs/util/DebugJS.java.orig 2024-01-26 16:40:53.000000000 -0700
+++ src/javajs/util/DebugJS.java 2024-01-28 20:29:13.588103276 -0700
@@ -12,7 +12,7 @@ public class DebugJS {
* @param msg
*
*/
- public static void _(String msg) {
+ public static void x(String msg) {
/**
* @j2sNative
*
--- src/jspecview/api/JSVTreeNode.java.orig 2024-01-26 16:40:53.000000000 -0700
+++ src/jspecview/api/JSVTreeNode.java 2024-01-28 20:29:13.589103263 -0700
@@ -17,7 +17,7 @@ public interface JSVTreeNode {
PanelNode getPanelNode();
- Enumeration<JSVTreeNode> children();
+ Enumeration<?> children();
int getIndex();
--- src/jspecview/common/JSViewer.java.orig 2024-01-26 16:40:53.000000000 -0700
+++ src/jspecview/common/JSViewer.java 2024-01-28 20:29:13.589103263 -0700
@@ -1509,14 +1509,14 @@ public class JSViewer implements Platfor
JSVTreeNode rootNode = spectraTree.getRootNode();
String fileName = (source == null ? null : source.getFilePath());
Lst<JSVTreeNode> toDelete = new Lst<JSVTreeNode>();
- Enumeration<JSVTreeNode> enume = rootNode.children();
+ Enumeration<?> enume = rootNode.children();
while (enume.hasMoreElements()) {
- JSVTreeNode node = enume.nextElement();
+ JSVTreeNode node = (JSVTreeNode)enume.nextElement();
if (fileName == null
|| node.getPanelNode().source.matchesFilePath(fileName)) {
Logger.info("Closing " + node.getPanelNode().source.getFilePath());
- for (Enumeration<JSVTreeNode> e = node.children(); e.hasMoreElements();) {
- JSVTreeNode childNode = e.nextElement();
+ for (Enumeration<?> e = node.children(); e.hasMoreElements();) {
+ JSVTreeNode childNode = (JSVTreeNode)e.nextElement();
toDelete.addLast(childNode);
panelNodes.removeObj(childNode.getPanelNode());
}
--- src/jspecview/dialog/ViewsDialog.java.orig 2024-01-26 16:40:53.000000000 -0700
+++ src/jspecview/dialog/ViewsDialog.java 2024-01-28 20:29:13.589103263 -0700
@@ -74,9 +74,9 @@ public class ViewsDialog extends JSVDial
}
private void addCheckBoxes(JSVTreeNode rootNode, int level, boolean isViews) {
- Enumeration<JSVTreeNode> enume = rootNode.children();
+ Enumeration<?> enume = rootNode.children();
while (enume.hasMoreElements()) {
- JSVTreeNode treeNode = enume.nextElement();
+ JSVTreeNode treeNode = (JSVTreeNode)enume.nextElement();
PanelNode node = treeNode.getPanelNode();
if (node.isView != isViews)
continue;
@@ -122,9 +122,9 @@ public class ViewsDialog extends JSVDial
node.getPanelNode().isSelected = true;
checking = false;
}
- Enumeration<JSVTreeNode> enume = node.children();
+ Enumeration<?> enume = node.children();
while (enume.hasMoreElements()) {
- JSVTreeNode treeNode = enume.nextElement();
+ JSVTreeNode treeNode = (JSVTreeNode)enume.nextElement();
dialog.setSelected(checkBoxes.get(treeNode.getIndex()), isSelected);
treeNode.getPanelNode().isSelected = isSelected;
node.getPanelNode().isSelected = isSelected;