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=0cjpFXLSHUCZ1tusIStHVYo2LJyX15e2e4cGgIakYL0=; b=e2ER1mgTmPMY/hvhzPOZzcgHR3gjr775aj8WMPputWyKcKj+HCj0MmIVaLbDEJNX/ePbsTQBXlUrdUvalgWVdrCS14dbs3zepnm3jGXmFTBKM5NHZZskFmqnG981SlIGFGGod/kPKdKWX72pFjC/veMCnqWXj1BBUv8Iy4lhlho= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=message-id:date:from:to:subject:mime-version:content-type; b=sucvS3UdAQfxxdr5Aqw1KwCHpn864JkR9EHqzI76ikgbhd5eHlKDWI7mpVd46lVmZKTmoD6pz8jIaTFYc53/h1uRC4FiaPfaaBVggSB439CQ++ZgOg9jV4L7TCaWM0fPzqpqw8s0LzhioNJKn5kXdbEGH3IwQbo5LzqB5OgYDdc= Message-ID: Date: Tue, 13 May 2008 22:18:05 -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="===============1813789781==" Content-Length: 3145 --===============1813789781== Content-Type: multipart/alternative; boundary="----=_Part_6428_6240743.1210731485573" ------=_Part_6428_6240743.1210731485573 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_6428_6240743.1210731485573 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_6428_6240743.1210731485573-- --===============1813789781== 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 --===============1813789781==--