summaryrefslogtreecommitdiff
path: root/src/Gtk/Widgets.dcl
blob: b4a98492ce452d7d56096b340b646e4e722adaf3 (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
definition module Gtk.Widgets

from StdMaybe import :: Maybe

from System._Pointer import :: Pointer

from Gtk.State import :: State, :: StateT, :: Identity, :: GtkState
from Gtk.Types import :: GtkDirection, :: GtkExpand, :: GtkLabel,
	:: GtkOrientation, :: GtkPanedHandleWidth, :: GtkResize, :: GtkShrink

class ptr a :: !a -> Pointer

:: GtkWidget

class gtkWidget a :: !a -> GtkWidget

instance gtkWidget GtkWidget
instance ptr GtkWidget

:: GtkContainer

class gtkContainer a :: !a -> GtkContainer

instance gtkWidget GtkContainer
instance gtkContainer GtkContainer

addToContainer :: !w !c -> State GtkState () | gtkWidget w & gtkContainer c

:: GtkBox
instance gtkWidget GtkBox
instance gtkContainer GtkBox

newBox :: !GtkOrientation !Int -> State GtkState GtkBox
packBox :: !w !GtkBox !GtkDirection !GtkExpand -> State GtkState () | gtkWidget w

:: GtkFrame
instance gtkWidget GtkFrame
instance gtkContainer GtkFrame

newFrame :: !GtkLabel !w -> State GtkState GtkFrame | gtkWidget w

:: GtkPaned
instance gtkWidget GtkPaned
instance gtkContainer GtkPaned

newPaned :: !GtkOrientation !GtkPanedHandleWidth -> State GtkState GtkPaned
packPane1 :: !w !GtkPaned !GtkResize !GtkShrink -> State GtkState () | gtkWidget w
packPane2 :: !w !GtkPaned !GtkResize !GtkShrink -> State GtkState () | gtkWidget w

:: GtkTextBuffer

insertAtCursor :: !String !GtkTextBuffer -> State GtkState ()

:: GtkTextView
instance gtkWidget GtkTextView
instance gtkContainer GtkTextView

newTextView :: State GtkState GtkTextView
getTextBuffer :: !GtkTextView -> GtkTextBuffer

:: GtkWindow
instance gtkWidget GtkWindow
instance gtkContainer GtkWindow

newPopup :: !String !(Maybe (Int,Int)) -> State GtkState GtkWindow
newWindow :: !String !(Maybe (Int,Int)) -> State GtkState GtkWindow