Searched refs:pause_changed (Results 1 – 6 of 6) sorted by relevance
35 pause_changed.notify_all(); in setThreadState()63 pause_changed.wait (lock); in checkForPauseOrQuit()
95 std::condition_variable pause_changed; variable
119 int pause_changed = 0; in Element_PIPE_update() local123 pause_changed = 1; in Element_PIPE_update()129 pause_changed = 1; in Element_PIPE_update()132 if (pause_changed) in Element_PIPE_update()
273 pause_changed ();302 public signal void pause_changed ();370 pause_changed ();
28 _game.pause_changed.connect (pause_changed_cb);
678 game.pause_changed.connect (pause_changed_cb);