Set the default decimal format for the web
The web decimal format property sets a default format for decimals and integers, and determines whether individual users can change the decimal formatting from the UI. Property options are:
#Webapi.user.defaults.decimalFormat=###,##0.00- sets the specified decimal format as this IDE instance's default decimal format.#Webapi.user.defaults.decimalFormat.editable=true- set tofalseto disallow the user from changing the default decimal formatting from the UI.#Webapi.user.defaults.integerFormat=###,##0- sets the specified integer format as this IDE instance's default integer format.#Webapi.user.defaults.integerFormat.editable=true- set tofalseto disallow the user from changing the default integer formatting from the UI.