Re: [ jEdit-users ] Character to Entities for javadoc

[Michaël M. <mic...@fr...>]

Hi

Thanks for answering
> What would you like ?
> numeric encoding, like &#e9, accepted in all XML documents; or html 
> entities, like é ?
>
> In both cases, XMLPlugin can certainly be extended to not be so picky 
> about the current mode :
>     1- to escape non ascii chars to numeric values and < > & characters 
> to their escaped notation
>     2- to fall back to HTML when no completion info is provided.
>
> I'm in favour of the first solution, since it will never create 
> meaningless entities.
>   
I'm not an xml/html expert. I know that html entities work fine for 
javadoc. Never tried numeric entities, but from what I read, it should work.
First solution seems OK (not sure what your second solution means)
> By any way, please register a plugin feature request...
>   
OK, done.

Michaël

PS : surfing a bit on internet about this problem, I just read that 
javadoc should understand unicode escape characters like \u0040
... and jEdit has a good macro to escape unicode characters ;-)/
/
> Best regards,
>
>
> Le 27/01/10 21:53, Michaël Michaud a écrit :
>   
>> Hi,
>>
>> While editing java code, I miss a function like "Plugin>Xml>Characters
>> to Entities" to include accented characters in my javadoc.
>> But this function is not available for java mode and I did not find the
>> same function in another plugin nor in a macro.
>>
>> Any idea about the best approach ?
>>
>> Michaël
>>
>>
>> ------------------------------------------------------------------------------
>> The Planet: dedicated and managed hosting, cloud storage, colocation
>> Stay online with enterprise data centers and the best network in the business
>> Choose flexible plans and management services without long-term contracts
>> Personal 24x7 support from experience hosting pros just a phone call away.
>> http://p.sf.net/sfu/theplanet-com
>>    
>>     
>
>
> ------------------------------------------------------------------------------
> The Planet: dedicated and managed hosting, cloud storage, colocation
> Stay online with enterprise data centers and the best network in the business
> Choose flexible plans and management services without long-term contracts
> Personal 24x7 support from experience hosting pros just a phone call away.
> http://p.sf.net/sfu/theplanet-com
>