DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws;
        s=beta; d=gmail.com;
        h=received:message-id:date:from:to:subject:mime-version:content-type:content-transfer-encoding:content-disposition;
        b=mcA9OEuT/kH0SLb4dsm+iFLaY6PTURJjFg1OmznVjoXxKdGjd2XWtU4wy+AC0E0cRQ21hQrbeC0Mq6ksAk/W7+1E54n1cDdcepE1dLIEht2WaPezuhRb4G5814aQPrMTFMoZfX6aud3x+aJ1SK1YJs6n0rxe5qgeY7R6tUMvTDU=
Message-ID: <90823c940610091016i2ec702c6i8085fa434cb6a82e at mail.gmail.com>
Date: Mon, 9 Oct 2006 21:16:47 +0400
From: "Dmitry Bely" <dmitry.bely at gmail.com>
To: lablgtk at math.nagoya-u.ac.jp
Subject: Button accelerators
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Length: 384

I have a dialog with OK and Cancel buttons:

  let dialog = GWindow.dialog
      () in
...
    dialog#add_button_stock `OK `OK ;
    dialog#add_button_stock `CANCEL `CANCEL ;

    match dialog#run () with
         `OK -> ...
       | `DELETE_EVENT | `CANCEL -> ...

Now I would like to add Enter/ESC accelerators to Ok and Cancel
buttons respectively. How to do that?

- Dmitry Bely