summaryrefslogtreecommitdiff
path: root/app-editors/jext/files/jext-5.0-enum-as-keyword.patch
diff options
context:
space:
mode:
Diffstat (limited to 'app-editors/jext/files/jext-5.0-enum-as-keyword.patch')
-rw-r--r--app-editors/jext/files/jext-5.0-enum-as-keyword.patch173
1 files changed, 0 insertions, 173 deletions
diff --git a/app-editors/jext/files/jext-5.0-enum-as-keyword.patch b/app-editors/jext/files/jext-5.0-enum-as-keyword.patch
deleted file mode 100644
index c773e571d182..000000000000
--- a/app-editors/jext/files/jext-5.0-enum-as-keyword.patch
+++ /dev/null
@@ -1,173 +0,0 @@
---- src/lib/org/gjt/sp/jedit/textarea/InputHandler.java.orig 2015-07-03 17:52:13.843000000 +0000
-+++ src/lib/org/gjt/sp/jedit/textarea/InputHandler.java 2015-07-03 17:52:59.746000000 +0000
-@@ -141,10 +141,10 @@
- */
- public static String getActionName(ActionListener listener)
- {
-- Enumeration enum = getActions();
-- while(enum.hasMoreElements())
-+ Enumeration myEnum = getActions();
-+ while(myEnum.hasMoreElements())
- {
-- String name = (String)enum.nextElement();
-+ String name = (String)myEnum.nextElement();
- ActionListener _listener = getAction(name);
- if(_listener == listener)
- return name;
---- src/lib/org/jext/options/OptionsDialog.java.orig 2015-07-03 17:54:19.179000000 +0000
-+++ src/lib/org/jext/options/OptionsDialog.java 2015-07-03 17:54:33.377000000 +0000
-@@ -297,11 +297,11 @@
-
- private void addOptionGroup(OptionGroup child, OptionGroup parent)
- {
-- ArrayList enum = child.getMembers();
-+ ArrayList myEnum = child.getMembers();
-
-- for (int i = 0; i < enum.size(); i++)
-+ for (int i = 0; i < myEnum.size(); i++)
- {
-- Object elem = enum.get(i);
-+ Object elem = myEnum.get(i);
-
- if (elem instanceof OptionPane)
- {
-@@ -669,4 +669,4 @@
-
- }
-
--// End of OptionsDialog.java
-\ No newline at end of file
-+// End of OptionsDialog.java
---- src/lib/org/jext/misc/VirtualFolders.java.orig 2015-07-03 17:49:57.731000000 +0000
-+++ src/lib/org/jext/misc/VirtualFolders.java 2015-07-03 17:51:11.418000000 +0000
-@@ -233,10 +233,10 @@
- ret.append(crlf).append("<folderlist>");
- }
-
-- Enumeration enum = parent.children();
-- while (enum.hasMoreElements())
-+ Enumeration myEnum = parent.children();
-+ while (myEnum.hasMoreElements())
- {
-- VirtualFolderNode child = (VirtualFolderNode) enum.nextElement();
-+ VirtualFolderNode child = (VirtualFolderNode) myEnum.nextElement();
- ret.append(toXML(child, depth + 1));
- }
-
-@@ -317,20 +317,20 @@
-
- private void fixVisible()
- {
-- Enumeration enum = root.depthFirstEnumeration();
-+ Enumeration myEnum = root.depthFirstEnumeration();
- VirtualFolderNode node = null;
-- while (enum.hasMoreElements())
-+ while (myEnum.hasMoreElements())
- {
-
-- node = (VirtualFolderNode)enum.nextElement();
-+ node = (VirtualFolderNode)myEnum.nextElement();
- TreePath path = new TreePath(node.getPath());
- tree.collapsePath(path);
- }
-
-- enum = root.depthFirstEnumeration();
-- while (enum.hasMoreElements())
-+ myEnum = root.depthFirstEnumeration();
-+ while (myEnum.hasMoreElements())
- {
-- node = (VirtualFolderNode)enum.nextElement();
-+ node = (VirtualFolderNode)myEnum.nextElement();
- if (node.shouldBeVisible())
- {
- TreePath path = new TreePath(((VirtualFolderNode)node.getParent()).getPath());
-@@ -392,10 +392,10 @@
- public static boolean folderExists(VirtualFolderNode parent, String name)
- {
- boolean exists = false;
-- Enumeration enum = parent.children();
-- while ((enum.hasMoreElements()) && !exists)
-+ Enumeration myEnum = parent.children();
-+ while ((myEnum.hasMoreElements()) && !exists)
- {
-- VirtualFolderNode child = (VirtualFolderNode) enum.nextElement();
-+ VirtualFolderNode child = (VirtualFolderNode) myEnum.nextElement();
- exists = child.toString().equals(name);
- }
- return exists;
-@@ -526,10 +526,10 @@
- } else {
- if (fromMenu)
- {
-- Enumeration enum = node.children();
-- while (enum.hasMoreElements())
-+ Enumeration myEnum = node.children();
-+ while (myEnum.hasMoreElements())
- {
-- VirtualFolderNode child = (VirtualFolderNode) enum.nextElement();
-+ VirtualFolderNode child = (VirtualFolderNode) myEnum.nextElement();
- openNode(child, fromMenu);
- }
- }
---- src/lib/com/microstar/xml/XmlParser.java.orig 2015-07-03 17:41:23.209000000 +0000
-+++ src/lib/com/microstar/xml/XmlParser.java 2015-07-03 17:46:30.296000000 +0000
-@@ -1346,7 +1346,7 @@
- {
- String name;
- int type;
-- String enum = null;
-+ String myEnum = null;
-
- // Read the attribute name.
- name = readNmtoken(true);
-@@ -1358,12 +1358,12 @@
- // Get the string of enumerated values
- // if necessary.
- if (type == ATTRIBUTE_ENUMERATED || type == ATTRIBUTE_NOTATION) {
-- enum = dataBufferToString();
-+ myEnum = dataBufferToString();
- }
-
- // Read the default value.
- requireWhitespace();
-- parseDefault(elementName, name, type, enum);
-+ parseDefault(elementName, name, type, myEnum);
- }
-
-
-@@ -1451,7 +1451,7 @@
- * Parse the default value for an attribute.
- * [62] Default ::= '#REQUIRED' | '#IMPLIED' | ((%'#FIXED' S)? %AttValue
- */
-- void parseDefault (String elementName, String name, int type, String enum)
-+ void parseDefault (String elementName, String name, int type, String myEnum)
- throws java.lang.Exception
- {
- int valueType = ATTRIBUTE_DEFAULT_SPECIFIED;
-@@ -1477,7 +1477,7 @@
- value = readLiteral(LIT_CHAR_REF);
- context = CONTEXT_DTD;
- }
-- setAttribute(elementName, name, type, enum, value, valueType);
-+ setAttribute(elementName, name, type, myEnum, value, valueType);
- }
-
-
-@@ -2714,7 +2714,7 @@
- * - int value type
- * *TODO: do something with attribute types.
- */
-- void setAttribute (String elName, String name, int type, String enumeration,
-+ void setAttribute (String elName, String name, int type, String myEnum,
- String value, int valueType)
- throws java.lang.Exception
- {
-@@ -2736,7 +2736,7 @@
- attribute[0] = new Integer(type);
- attribute[1] = value;
- attribute[2] = new Integer(valueType);
-- attribute[3] = enumeration;
-+ attribute[3] = myEnum;
- attribute[4] = null;
- attlist.put(name.intern(), attribute);
-
generated by cgit v1.2.3 (git 2.25.1) at 2024-05-04 22:13:56 +0000