Re: text in margin of textview

["Scott Dattalo" <scott dattalo com>]

On Tue, 2006-04-18 at 09:34 +0200, Kasper Peeters wrote:
> Hi,
>
> I am looking for a way to write text in the margin of a TextView
> widget, something along the lines of
>
>                 a line of text
>                 another line of text
>   margin note   third line of text
>                 more text
>                 even more text
>   another note  text text text
>                 all there is is text
>
> I tried to play with the indent property but couldn't make it work
> like in the example above.
>
> Does anyone have some sample code to do what I want?


You may wish to study GtkSourceView:  http://gtksourceview.sourceforge.net/

That's what I used as a guide when redesigning the source viewer for my
PIC simulator gpsim. You can also see my implementation:

http://svn.sourceforge.net/viewcvs.cgi/gpsim/trunk/gui/gui_src_asm.cc?view=log

That generated this screen shot:

http://www.dattalo.com/gnupic/source_browser.png

Scott