gtk: Remove map and unmap event handling.
authorMatt Birkholz <puck@birchwood-abbey.net>
Wed, 18 Jan 2017 19:48:51 +0000 (12:48 -0700)
committerMatt Birkholz <puck@birchwood-abbey.net>
Wed, 18 Jan 2017 19:48:51 +0000 (12:48 -0700)
commit2b3f6f71b0f0a02f24e1d2c3201869c0f5411807
treed1e8092ef59391e7de00b04c733fa3be6fbaaa06
parentb0fc56d634b34e6c39aec76a4ce18327a7a54c4d
gtk: Remove map and unmap event handling.

When gtk_widget_register_window (and gtk_widget_set_event) became
necessary there was no GDK_MAP_MASK nor GDK_UNMAP_MASK.  Presumably
set-fix-widget-map-handler! and set-fix-widget-unmap-handler! stopped
working at that time.  This makes it official.
src/gtk-screen/gtk-screen.pkg
src/gtk-screen/gtk-screen.scm
src/gtk/fix-layout.scm
src/gtk/gtk.pkg
src/gtk/mit-scheme-pucked-gtk.texi