Your message dated Mon, 30 Sep 2019 15:36:20 +0200 with message-id and subject line Re: bug#16054: 24.3; Disabling menu bar when minibuffer is active causes cursor to be disconnected from point has caused the debbugs.gnu.org bug report #16054, regarding 24.3; Disabling menu bar when minibuffer is active causes cursor to be disconnected from point to be marked as done. (If you believe you have received this mail in error, please contact help-debbugs@gnu.org.) -- 16054: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=16054 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems