clintbellanger/flare-engine — pull request #872 by dorkster (2013-11-20 23:39:52+00:00)
Title: Allow setting MENUS_PAUSE via config file

In addition, always pause when the exit menu is visible, regardless of
MENUS_PAUSE's value.