blob: 07d050718a9e7a3103cb98e0831fbe55eb13ea03 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
|
definition module Gtk.Tune
from Gtk.State import :: StateT, :: Identity, :: State, :: GtkState, :: GtkM
from Gtk.Types import :: GtkMargins
from Gtk.Widgets import :: GtkWidget, class gtkWidget
class tune elem option :: !(GtkM elem) !option -> GtkM elem
(<<@) infixl 2
(<<@) elem option :== tune elem option
instance tune w GtkMargins | gtkWidget w
|
