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:in-reply-to:mime-version:content-type:references; bh=a/RnadPaeL+FtOdkahPWSuFFKIBZe9ueaQnljIcny0o=; b=FNdgsX2dttj+HribDLSxz4jPRQvgUImI9/Tt6L3pviN5dn5tdcQNJ8zLJpno7OQ9Ve3HlB2Af1l9BKTqzv2nLtxl3HdoaNQK1Tjq3l9zWozN1PmrQsVeTtZY60tb4CIiPXKf9NdpM2cZhWY4BFqCz1y62TGu65D6EzR9iwHWU8A= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=message-id:date:from:to:subject:in-reply-to:mime-version:content-type:references; b=QWhq52UHWsNFXuAE0MgXQkmj1ESCcoaWnBwwjmWdI0TVQRcBfLJV0IaAZoMumHSJRH+dfm7pjt3WOuirpSiGVU3N6QiGVZKkguz1O6Ch3ja/LLANb192fH6/t55prZ8xptljvKSsgocUlvSjfBOuX2xhBLi5QWBN8xyLCN1G0Dk= Message-ID: Date: Fri, 22 Feb 2008 11:59:14 -0600 From: "Angela Zhu" To: lablgtk at yquem.inria.fr In-Reply-To: MIME-Version: 1.0 References: Subject: [Lablgtk] Re: How to use GSourceView.source_view_signals Mime-version: 1.0 Content-Type: multipart/mixed; boundary="===============0960361934==" Content-Length: 2884 --===============0960361934== Content-Type: multipart/alternative; boundary="----=_Part_2405_5591566.1203703154047" ------=_Part_2405_5591566.1203703154047 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit Content-Disposition: inline Hi, Can anyone help me with how to use gSourceView.source_view_signal According to http://wwwfun.kurims.kyoto-u.ac.jp/soft/lsl/lablgtk/html/GSourceView.source_view_signals.html If I want to use the undo method, what should I have in the following ~callback function? ------------------------------------------ let sview = GSourceView.source_view () in ... and edit_entries1 = [...; `I ("Copy", (fun () -> program1#buffer#copy_clipboard GMain.clipboard);); `I ("Undo", (fun () -> ignore(sview#connect#undo ~callback:(fun () -> ()))))] (* NOW IT DOES NOTHING, what should I change here? *) ------------------------------------------ Thanks, Angela ------=_Part_2405_5591566.1203703154047 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit Content-Disposition: inline Hi,

Can anyone help me with how to use gSourceView.source_view_signal

According to
http://wwwfun.kurims.kyoto-u.ac.jp/soft/lsl/lablgtk/html/GSourceView.source_view_signals.html

If I want to use the undo method, what should I have in the following ~callback function?

------------------------------------------

let sview = GSourceView.source_view () in
 ...
 and edit_entries1 =
       [...;
        `I ("Copy",
           (fun () ->
              program1#buffer#copy_clipboard GMain.clipboard););
        `I ("Undo",
           (fun () ->
              ignore(sview#connect#undo ~callback:(fun () -> ()))))] 
        (* NOW IT DOES NOTHING, what should I change here? *)
------------------------------------------


Thanks,
Angela

------=_Part_2405_5591566.1203703154047-- --===============0960361934== 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 --===============0960361934==--