diff options
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.patch | 173 |
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); - |