From a926269442c828a75d46dadaa6c06468fda9f7a2 Mon Sep 17 00:00:00 2001 From: Camil Staps Date: Mon, 28 Oct 2019 21:19:52 +0100 Subject: Add basic functionality for accelerators (i.e. shortcuts) --- src/Gtk/Widgets.dcl | 8 ++++++++ 1 file changed, 8 insertions(+) (limited to 'src/Gtk/Widgets.dcl') diff --git a/src/Gtk/Widgets.dcl b/src/Gtk/Widgets.dcl index 7497b3e..4d684ef 100644 --- a/src/Gtk/Widgets.dcl +++ b/src/Gtk/Widgets.dcl @@ -9,12 +9,19 @@ from Gtk.State import :: GtkM from Gtk.Tune import class tune from Gtk.Types import :: GType, :: GValue, + :: GdkModifier, :: GtkAlign, :: GtkButtonsType, :: GtkCSSClass, :: GtkDirection, :: GtkExpand, :: GtkFileChooserAction, :: GtkMargins, :: GtkMessageType, :: GtkModal, :: GtkOrientation, :: GtkPanedHandleWidth, :: GtkResize, :: GtkResponse, :: GtkScrollbarPolicy, :: GtkSensitivity, :: GtkShrink, :: GtkSpacing, :: GtkStylePriority, :: GtkText, :: GtkTitle, :: GtkWrapMode +:: GtkAccelGroup =: GtkAccelGroup Pointer + +newAccelGroup :: !w -> GtkM GtkAccelGroup | gtkWindow w + +:: GtkAccelerator = Accelerator !GtkAccelGroup !String ![GdkModifier] + :: GtkActionBar =: GtkActionBar Pointer instance gtkWidget GtkActionBar @@ -218,6 +225,7 @@ setMargins :: !GtkMargins !w -> GtkM w | gtkWidget w instance tune w GtkSensitivity | gtkWidget w instance tune w (GtkAlign,GtkAlign) | gtkWidget w instance tune w (GtkExpand,GtkExpand) | gtkWidget w +instance tune w GtkAccelerator | gtkWidget w :: GtkWindow =: GtkWindow Pointer -- cgit v1.2.3