;; -*-theme-d-*-

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

(define-body (gnome gdk)

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


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