diff oldXMenu/XMenu.h @ 98045:7e5d202f9202

(Quitting): Note that top-level exits active minibuffers.
author Chong Yidong <cyd@stupidchicken.com>
date Sat, 06 Sep 2008 17:24:58 +0000
parents fec5e03aaf59
children edf631bdbb7a ec58e5c426ef 5cc91198ffb2
line wrap: on
line diff