lib/gtk/gdk_enums.nit

   1 module gdk_enums
   2
   3 in "C Header" `{
   4         #include <gtk/gtk.h>
   5
   6 `}
   7
   8 #enum GdkGravity
   9 #Defines the reference point of a window and the meaning of coordinates passed to gtk_window_move().
  10 #@https://developer.gnome.org/gdk3/stable/gdk3-Windows.html#GdkGravity
  11 extern GdkGravity `{GdkGravity`}
  12         #The reference point is at the top left corner.
  13         new north_west `{ return GDK_GRAVITY_NORTH_WEST; `}
  14
  15         #The reference point is in the middle of the top edge.
  16         new north `{ return GDK_GRAVITY_NORTH; `}
  17
  18         #The reference point is at the top right corner.
  19         new north_east `{ return GDK_GRAVITY_NORTH_EAST; `}
  20
  21         #The reference point is at the middle of the left edge.
  22         new west `{ return GDK_GRAVITY_WEST; `}
  23
  24         #The reference point is at the center of the window
  25         new center `{ return GDK_GRAVITY_CENTER; `}
  26
  27         #The reference point is at the middle of the right edge.
  28         new east `{ return GDK_GRAVITY_EAST; `}
  29
  30         #The reference point is at the lower left corner.
  31         new south_west `{ return GDK_GRAVITY_SOUTH_WEST; `}
  32
  33         #The reference point is at the middle of the lower edge.
  34         new south `{ return GDK_GRAVITY_SOUTH; `}
  35
  36         #The reference point is at the lower right corner.
  37         new south_east `{ return GDK_GRAVITY_SOUTH_EAST; `}
  38
  39         #The reference point is at the top left corner of the window itself, ignoring window manager decorations.
  40         new static `{ return GDK_GRAVITY_STATIC; `}
  41 end
  42
  43 #enum GdkGWindowEdge
  44 #Determines a window edge or corner.
  45 #@https://developer.gnome.org/gdk3/stable/gdk3-Windows.html#GdkWindowEdge
  46 extern GdkWindowEdge `{GdkWindowEdge`}
  47         #The top left corner.
  48         new north_west `{ return GDK_WINDOW_EDGE_NORTH_WEST; `}
  49
  50         #The top edge.
  51         new north `{ return GDK_WINDOW_EDGE_NORTH; `}
  52
  53         #The top right corner.
  54         new north_east `{ return GDK_WINDOW_EDGE_NORTH_EAST; `}
  55
  56         #The left edge.
  57         new west `{ return GDK_WINDOW_EDGE_WEST; `}
  58
  59         #The right edge.
  60         new east `{ return GDK_WINDOW_EDGE_EAST; `}
  61
  62         #The lower left corner.
  63         new south_west `{ return GDK_WINDOW_EDGE_SOUTH_WEST; `}
  64
  65         #The lower edge.
  66         new south `{ return GDK_WINDOW_EDGE_SOUTH; `}
  67
  68         #The lower right corner.
  69         new south_east `{ return GDK_WINDOW_EDGE_SOUTH_EAST; `}
  70 end
  71