Abbreviate option loading-messages.

diff --git a/src/gtk/make.scm b/src/gtk/make.scm
index 8bc32f2fd7caf0285cbdd98e3503201d0b627a18..e779c232fc8bf2aea366f2645275e2806ca53d0a 100644 (file)
--- a/src/gtk/make.scm
+++ b/src/gtk/make.scm
@@ -2,10 +2,23 @@
 
 Load the Gtk option. |#
 
-(load-option 'SOS)
-(load-option 'FFI) ;; (ffi) package referenced in gtk.pkg!
+(define (ld option)
+  (with-notification
+   (lambda (port)
+     (write-string "Loading " port)
+     (write-string (symbol-name option) port)
+     (write-string " option" port))
+   (lambda ()
+     (fluid-let ((load/suppress-loading-message? #t))
+       (load-option option)))))
+
+(ld 'SOS)
+(ld 'FFI) ;; Referenced in gtk.pkg.
+
 (with-loader-base-uri (system-library-uri "gtk/")
   (lambda ()
     (load-package-set "gtk")))
+
 (add-subsystem-identification! "Gtk" '(0 3))
+
 ((access gtk-start (->environment '(gtk main))))
\ No newline at end of file