(popup_activated_flag): Make externally visible.
authorGerd Moellmann <gerd@gnu.org>
Tue, 25 Jan 2000 15:53:29 +0000 (15:53 +0000)
committerGerd Moellmann <gerd@gnu.org>
Tue, 25 Jan 2000 15:53:29 +0000 (15:53 +0000)
commit7555d825715df23e8d7fd27356ae5394bb73a81b
tree5736ede2738ba09bdcdfee6b90e827d677489227
parent381c798c151247d1266809344bb63f6d293f9775
(popup_activated_flag): Make externally visible.
(popup_activate_callback) [USE_MOTIF]: Increment
popup_activated_flag.
(popup_deactivate_callback) [USE_MOTIF]: Decrement it.
src/xmenu.c