pioneerspacesim/pioneer — pull request #3169 by rob-h-w (2014-09-08 19:08:48+00:00)
Title: Expose game paused to Lua; disable bulletin board when paused

Work towards closing #2732.

One remaining task is to give some visual cue to the user that the
bulletin board is no longer clickable.

Another could be to wrap the 'disabled on paused' semantic into
something more reusable for other UI. I think this is out of scope for