From 075d1c53402cb430615d2a243e7cae4537bbcfb8 Mon Sep 17 00:00:00 2001
From: benfry <fry@processing.org>
Date: Tue, 3 Jun 2008 20:47:02 +0000
Subject: [PATCH] fix bug #790 xml.getIntAttribute() returns a float

---
 xml/src/processing/xml/XMLElement.java | 20 ++++++++++----------
 1 file changed, 10 insertions(+), 10 deletions(-)

diff --git a/xml/src/processing/xml/XMLElement.java b/xml/src/processing/xml/XMLElement.java
index d7f8fa26d..7cd166a76 100644
--- a/xml/src/processing/xml/XMLElement.java
+++ b/xml/src/processing/xml/XMLElement.java
@@ -876,13 +876,13 @@ public class XMLElement implements Serializable {
             return attr.getValue();
         }
     }
-    
-    
+
+
     public String getStringAttribute(String name) {
         return getAttribute(name);
     }
 
-    
+
     public String getStringAttribute(String name, String defaultValue) {
         return getAttribute(name, defaultValue);
     }
@@ -895,11 +895,11 @@ public class XMLElement implements Serializable {
     }
 
 
-    public float getIntAttribute(String name) {
+    public int getIntAttribute(String name) {
         return getIntAttribute(name, 0);
     }
-    
-    
+
+
     /**
      * Returns the value of an attribute.
      *
@@ -936,8 +936,8 @@ public class XMLElement implements Serializable {
     public float getFloatAttribute(String name) {
         return getFloatAttribute(name, 0);
     }
-    
-    
+
+
     /**
      * Returns the value of an attribute.
      *
@@ -974,8 +974,8 @@ public class XMLElement implements Serializable {
     public double getDoubleAttribute(String name) {
         return getDoubleAttribute(name, 0);
     }
-    
-    
+
+
     /**
      * Returns the value of an attribute.
      *