[xwiki-devs] [GWT WYSIWYG] Character map issue - Need help for solution

Hi, We have a problem with the GWT character map. It contains some characters that are not ISO-8859-1. The problem is that since our default encoding is ISO-8859-1 (<?xml version="1.0" encoding="ISO-8859-1" ?>) the browser replaces for example this character ∞ with &#8734; Our rendering doesn't accept HTML so this value is escaped and is shown as is. So we have several non-satisfactory options: 1) Switch to UTF8 by default. A good thing but that won't solve the problem for those using the GWT editor in ISO-8859-1 encoding. 2) Modify the GWT editor character map so that it only shows characters valid with the current encoding. This is a pity since it should be possible to display other chars since the browser knows how to display them even though the user is not in the correct encoding 3) Introduce a wiki syntax for representing characters not allowed in the current encoding. However this means we'll still need to replace &#8734; with this syntax before the rendering is called and this forbids users to enter &#8734; in the wiki editor so this is not good. Any better idea? WDYT? Thanks -Vincent