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: | -- (:) |
| 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 ...) Christophe