[CLOSED] GridView - unnesessary cast BigDecimal to Double

[4723]

Class method
com.extjs.gxt.ui.client.widget.grid.GridView
protected String getRenderedValue(ColumnData data, int rowIndex, int colIndex, ModelData m, String property)has a unnecessary cast:

if (val != null && val instanceof Number && c.getNumberFormat() != null) {
Number n = (Number) val;
val = c.getNumberFormat().format(n.doubleValue());
}Currently NumberFormat has together
public String format(double number) and
public String format(Number number) method and doubleValue() can lose range of BigDecimal.

[sven]

This is a GWT feature that is not backward compatible. GWT 2 and GWT 1.7 dont support this

[sven]

We will add support for this in GXT3