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

(define-body (gnome-examples theme-d-gnome-demo support)


  (import (standard-library console-io))


  (define flush-all-ports
    (prim-proc flush-all-ports () <none> nonpure))


  (define-simple-proc disp-and-flush (((o <object>)) <none> nonpure)
    (console-display-line o)
    (flush-all-ports)))
