Re: FW: JDEE & XEmacs: fix: deactivate-mark void error