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" 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