On Sep 24, 2008, at 2:41 PM, Vincent Massol wrote:
> A solution might be that the GWT editor outputs {{xhtml}}character{{/
> xhtml}}
>
> This should always work.
... but when edited again in WYSIWYG it'll be seen as a macro so it
will not be so nice...
hmmm
-Vincent
>
>
> WDYT?
>
> -Vincent
>
> On Sep 24, 2008, at 2:31 PM, Vincent Massol wrote:
>
>> 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 ∞
>>
>> 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
>> ∞ with this syntax before the rendering is called and this
>> forbids users to enter ∞ in the wiki editor so this is not
>> good.
>>
>> Any better idea?
>>
>> WDYT?
>>
>> Thanks
>> -Vincent
_______________________________________________
devs mailing list
[email protected]
http://lists.xwiki.org/mailman/listinfo/devs