Patch IntegerWidget.render_view to convert a float to an int automatically.

git-svn-id: https://svn.erp5.org/repos/public/erp5/trunk@11696 20353a03-c40f-0410-a6d1-a30d3c3de9de

product/ERP5Form/FormulatorPatch.py

@@ -260,6 +260,7 @@ def CheckBoxWidget_render(self, field, key, value, REQUEST):
                              name="default_%s:int" % (key, ),
                              value="0")
              ]
+
   if value:
     rendered.append(render_element("input",
                                    type="checkbox",
@@ -342,7 +343,7 @@ TextWidget.render_view = TextWidget_patched_render_view
 
 class IntegerWidget(TextWidget) :
   def render(self, field, key, value, REQUEST) :
-    """Render link.
+    """Render an editable integer.
     """
     if type(value) is type(1.0):
       value = int(value)
@@ -365,6 +366,12 @@ class IntegerWidget(TextWidget) :
                               size=field.get_value('display_width'),
                               extra=field.get_value('extra'))
 
+  def render_view(self, field, value):
+      """Render a non-editable interger."""
+      if isinstance(value, float):
+          value = int(value)
+      return TextWidget.render_view(self, field, value)
+
 
 from Products.Formulator.StandardFields import IntegerField
 from Products.Formulator.Validator import IntegerValidator