webkitgtk.defs

   1 ;; -*- scheme -*-
   2
   3 ;; TODO
   4 ;; webkit_gtk_page_set_settings, webkit_gtk_page_get_settings
   5
   6 ; object definitions ...
   7 (define-object Page
   8   (in-module "GtkWebKit")
   9   (parent "GtkContainer")
  10   (c-name "WebKitGtkPage")
  11   (gtype-id "WEBKIT_GTK_TYPE_PAGE")
  12 )
  13
  14 ;; waiting for upstream header fix
  15 (define-object Frame
  16   (in-module "GtkWebKit")
  17   (parent "GObject")
  18   (c-name "WebKitGtkFrame")
  19   (gtype-id "WEBKIT_GTK_TYPE_FRAME")
  20 )
  21
  22 ;; Enumerations and flags ...
  23
  24
  25 ;; From webkitgtkpage.h
  26
  27 (define-function webkit_gtk_page_new
  28   (is-constructor-of "WebKitGtkPage")
  29   (c-name "webkit_gtk_page_new")
  30   (caller-owns-return #t)
  31   (return-type "GtkWidget*")
  32 )
  33
  34 (define-method open
  35   (of-object "WebKitGtkPage")
  36   (c-name "webkit_gtk_page_open")
  37   (return-type "none")
  38   (parameters
  39    '("const-char*" "url")
  40   )
  41 )
  42
  43 (define-method can_go_backward
  44   (of-object "WebKitGtkPage")
  45   (c-name "webkit_gtk_page_can_go_backward")
  46   (return-type "gboolean")
  47 )
  48
  49 (define-method go_backward
  50   (of-object "WebKitGtkPage")
  51   (c-name "webkit_gtk_page_go_backward")
  52   (return-type "none")
  53 )
  54
  55 (define-method can_go_forward
  56   (of-object "WebKitGtkPage")
  57   (c-name "webkit_gtk_page_can_go_forward")
  58   (return-type "gboolean")
  59 )
  60
  61 (define-method go_forward
  62   (of-object "WebKitGtkPage")
  63   (c-name "webkit_gtk_page_go_forward")
  64   (return-type "none")
  65 )
  66
  67 (define-method stop_loading
  68   (of-object "WebKitGtkPage")
  69   (c-name "webkit_gtk_page_stop_loading")
  70   (return-type "none")
  71 )
  72
  73 (define-method reload
  74   (of-object "WebKitGtkPage")
  75   (c-name "webkit_gtk_page_reload")
  76   (return-type "none")
  77 )
  78
  79 (define-method load_html_string
  80   (of-object "WebKitGtkPage")
  81   (c-name "webkit_gtk_page_load_html_string")
  82   (return-type "none")
  83   (parameters
  84    '("const-char*" "content")
  85    '("const-char*" "base_url")
  86    )
  87 )
  88
  89 (define-method load_string
  90   (of-object "WebKitGtkPage")
  91   (c-name "webkit_gtk_page_load_string")
  92   (return-type "none")
  93   (parameters
  94    '("const-char*" "content")
  95    '("const-char*" "content_mime_type")
  96    '("const-char*" "content_encoding")
  97    '("const-char*" "base_url")
  98    )
  99 )
 100
 101 (define-method get_main_frame
 102   (of-object "WebKitGtkPage")
 103   (c-name "webkit_gtk_page_get_main_frame")
 104   (return-type "WebKitGtkFrame*")
 105 )
 106
 107 ;; From webkitgtkframe.h
 108
 109 (define-function webkit_gtk_frame_new
 110   (is-constructor-of "WebKitGtkFrame")
 111   (c-name "webkit_gtk_frame_new")
 112   (caller-owns-return #t)
 113   (return-type "GObject*")
 114 )
 115
 116 (define-method get_page
 117   (of-object "WebKitGtkFrame")
 118   (c-name "webkit_gtk_frame_get_page")
 119   (caller-owns-return #t)
 120   (return-type "WebKitGtkPage*")
 121 )
 122
 123 (define-method get_title
 124   (of-object "WebKitGtkFrame")
 125   (c-name "webkit_gtk_frame_get_title")
 126   (caller-owns-return #f)
 127   (return-type "gchar*")
 128 )
 129
 130 (define-method get_location
 131   (of-object "WebKitGtkFrame")
 132   (c-name "webkit_gtk_frame_get_location")
 133   (caller-owns-return #f)
 134   (return-type "gchar*")
 135 )