diff man/flymake.texi @ 76074:5978a80d504e

(current_popup_menu): Make available globally. (menubar_selection_callback): Free menu strings before pushing the menu event into the keyboard buffer. Remove menu_command_in_progress.
author Jason Rumney <jasonr@gnu.org>
date Thu, 22 Feb 2007 22:49:41 +0000
parents 3d45362f1d38
children 88224dc74061
line wrap: on
line diff