diff etc/SERVICE @ 27425:e575223479a1

(popup_activated_flag): Make externally visible. (popup_activate_callback) [USE_MOTIF]: Increment popup_activated_flag. (popup_deactivate_callback) [USE_MOTIF]: Decrement it.
author Gerd Moellmann <gerd@gnu.org>
date Tue, 25 Jan 2000 15:53:29 +0000
parents 6b5aacec5ace
children 7eea0a073041
line wrap: on
line diff