when viewer is paused this is now indicated in the top status bar as the playback rate "paused" - was hard to tell before if paused.
when viewer is paused this is now indicated in the top status bar as the playback rate "paused" - was hard to tell before if paused.


git-svn-id: e3d3b427d532171a6bd7557d8a4952a393b554a2@1591 b7f4320f-462c-0410-a916-d9f35bb82d52

SensorsINI/jaer,viktorbahr/jaer,viktorbahr/jaer,viktorbahr/jaer,SensorsINI/jaer,SensorsINI/jaer,viktorbahr/jaer,SensorsINI/jaer,SensorsINI/jaer,viktorbahr/jaer,SensorsINI/jaer,SensorsINI/jaer,viktorbahr/jaer,viktorbahr/jaer,SensorsINI/jaer