Browse thread
cameleon2
[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: | 2007-03-27 (21:04) |
From: | Maxence Guesdon <maxence.guesdon@i...> |
Subject: | Re: [Caml-list] cameleon2 |
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. > > Here is a little explanation about how the gtksourceview works (as I > > understand it). > > ... > > I hope this explanation was useful (and quite clear). > > Yes very much, thanks. Remark: my previous mail did criticize the doc of > gtksourceview not the one on cameleon or lablgtksourceview, but after > rereading it I see it was not so clear, so sorry for that. No problem ;-) Maxence -- Maxence Guesdon http://yquem.inria.fr/~guesdon/ http://devel.inria.fr/rocq/