English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

Browse thread
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2007-03-27 (23:14)
From: Christophe Raffalli <Christophe.Raffalli@u...>
Subject: Re: [Caml-list] cameleon2
Maxence Guesdon a écrit :
> On Tue, 27 Mar 2007 11:27:36 +0200
> Christophe Raffalli <christophe.raffalli@univ-savoie.fr> wrote:
>>> In fact, there is no font attribute in source tag styles of
>>> gtksourceviews. I could not find any gedit screenshot showing two
>>> distinct fonts in the same gtksourceview.
>> The third screen shot on this page:
>> http://gtksourceview.sourceforge.net/screens.html
> Hum, I see. I think there is no different fonts here, but an UTF-8 buffer
> with ascii characters and I-don't-know-what-language-it-is characters.
> Here is a screenshot of the same in chamo:
>   http://pauillac.inria.fr/~guesdon/fonts.png
> I just googled for pages in japanese and copy/pasted the title of one
> result in my buffer. I agree it seems there's a different font for
> literal strings.
OK, I understand .... I have to admit that I should learn what UTF-8 
really means ... and after
looking a little, the magic is incredible:

try this:
1) open chamo or gedit
2) press and hold Ctrl and Shift
3) type in 2200
4) release Ctrl and Shift

(OK this is UTF8 + ISO14755 at work under gtk ...)