Delivered-To: lablgtk at yquem.inria.fr DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:received:received:message-id:date:from:to:subject:mime-version:content-type; bh=K1eYGMiudnwANv/6JPDPoDECDuUhmaC9LzeZ35p2Voo=; b=U8T6LAuuTtunLdgHUDZcGLr3LNr4f1UhQWTK+bk5eMKnEiUv78/RD3LmEcGqbcEFrViAj5EzgXz59n4MwPgvjNHvDXdDZbojfsOxteJlJgQvg+v6O0D2xuDZcBc0jGpp/BI8ZwqDpYyofevovhIKE45rHtXZc81k5i6jhCm6tx8= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=message-id:date:from:to:subject:mime-version:content-type; b=b+sRBy7TBH4z27sCvxsVnR27dD7WHvfCb9nYo1rv+SCLPMWC9+36jrU3Y4y1bCh0rBBR/WPkS1UwXQ30R1ZSyZ8l0w25WtUH+4llzQFwLXqnPjn4eHtKNlixa7JIAipnhbHbg3OCG57dbw8FxwuIg1zLF4LbKl+6O7H1r7tk5FI= Message-ID: Date: Tue, 13 May 2008 22:17:06 -0400 From: "Jacques Le Normand" To: lablgtk at yquem.inria.fr MIME-Version: 1.0 Subject: [Lablgtk] drawing in a textview Mime-version: 1.0 Content-Type: multipart/mixed; boundary="===============1829782336==" Content-Length: 3145 --===============1829782336== Content-Type: multipart/alternative; boundary="----=_Part_105_22144427.1210731430806" ------=_Part_105_22144427.1210731430806 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit Content-Disposition: inline I'm trying to draw a rectangle on a textview, as in: http://www.mail-archive.com/gtk-app-devel-list@gnome.org/msg09087.html and I came up with open Gobject let _ = let source_window = GWindow.window () in let buffer = GText.buffer () in let view = GText.view ~buffer:buffer ~packing:source_window#add () in source_window#show (); source_window#maximize (); let drawing_to = match view#get_window `WIDGET with Some a -> a | None -> raise (Failure "unexpected") in let gc = Gdk.GC.create drawing_to in let red = Gdk.Color.alloc (Gdk.Color.get_system_colormap ()) (`NAME "red") in Gdk.GC.set_foreground gc red; Gdk.GC.set_background gc red; Gdk.GC.set_fill gc `SOLID; Gdk.Draw.rectangle drawing_to gc ~x:10 ~y:10 ~width:300 ~height:400 ~filled:true (); Gdk.Draw.line drawing_to gc 5 5 100 100; GMain.Main.main (); unfortunately, nothing gets drawn. Anyone have any suggestions? --Jacques ------=_Part_105_22144427.1210731430806 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit Content-Disposition: inline I'm trying to draw a rectangle on a textview, as in:

http://www.mail-archive.com/gtk-app-devel-list@gnome.org/msg09087.html

and I came up with

open Gobject
let _ =
  let source_window = GWindow.window () in
  let buffer = GText.buffer () in
  let view = GText.view ~buffer:buffer ~packing:source_window#add  () in 
    source_window#show ();
    source_window#maximize ();
    let drawing_to = match view#get_window `WIDGET with Some a -> a | None -> raise (Failure "unexpected") in
    let gc = Gdk.GC.create drawing_to in
    let red = Gdk.Color.alloc (Gdk.Color.get_system_colormap ()) (`NAME "red") in
      Gdk.GC.set_foreground gc red;
      Gdk.GC.set_background gc red;
      Gdk.GC.set_fill gc `SOLID;
      Gdk.Draw.rectangle drawing_to gc ~x:10 ~y:10 ~width:300 ~height:400 ~filled:true ();
      Gdk.Draw.line drawing_to gc 5 5 100 100;
      GMain.Main.main ();

unfortunately, nothing gets drawn. Anyone have any suggestions?
--Jacques
------=_Part_105_22144427.1210731430806-- --===============1829782336== Content-Type: text/plain; charset="us-ascii" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Disposition: inline _______________________________________________ Lablgtk mailing list Lablgtk@yquem.inria.fr http://yquem.inria.fr/cgi-bin/mailman/listinfo/lablgtk --===============1829782336==--