Re: [Rodin-b-sharp-user] mathematical fonts displayed incorrectly

[Hector R. B. <hec...@sa...>]

Hello,

Thank for your replies.

It is not a systematic bug. I need to restart Rodin to have the fonts
properly displayed.  If I find a scenario I will post it.

Regards,

Hector Ruiz B.

Le 11/10/2010 11:48 AM, Thomas Muller a écrit :
> Dear Hector,
>
> does this issue always occurs? Or does it happen from time to time?
> If this problem occurs at all platform launches, did you identify a 
> scenario which allows
> to reproduce the bug systematically?
>
> Best regards
>
> Thomas
>
> Le 10/11/2010 11:03, Hector Ruiz Barradas a écrit :
>> Dear all,
>>
>> Some mathematical operators like<<| or<+ are displayed as a box in
>> the 'Proving' or 'Event-B' views (Rodin 2.0) . Some one knows how to fix
>> it?
>>
>> Regards,
>>
>> Hector Ruiz B.