Extjs 无法将小数分隔符Ext.ux.grid.FiltersFeature更改为逗号

我正在使用ExtJS4.1，并试图将a中的小数分隔符更改为逗号

这里是我的网格过滤器配置：

features: [{
    ftype: 'filters',
    encode: true,
    filters: [{
        type: 'numeric',
        dataIndex: 'frequency',
        decimalSeparator: ','
    }]
}]

提前感谢。

我将覆盖并将小数分隔符属性添加到默认菜单项configs：

Ext.override(Ext.ux.grid.menu.RangeMenu, {
    menuItemCfgs : {
        emptyText: 'Enter Number...',
        selectOnFocus: false,
        width: 155,
        decimalSeparator:','
    }
});