;; -*-theme-d-*-

;; Copyright (C) 2016 Tommi Höynälänmaa

(define-interface (gnome gdk)

  (import (standard-library core))

  (import-and-reexport (gnome wrap gdk)
		       (gnome wrap gdk-support))

  ;; Not sure about the result types in the following two procedures.

  (declare gdk-event-window-state:changed-mask
	   (:simple-proc (<gdk-event>) (:uniform-list <symbol>) pure))

  (declare gdk-event-window-state:new-window-state
	   (:simple-proc (<gdk-event>) (:uniform-list <symbol>) pure)))
