* Called automatically when the workspace switch animation is done. * By default, this stops the animation. * * @param normal_exit Whether the operation has ended because of animation * running out, in which case the workspace and the overlay view are * adjusted, and otherwise not. */
| 240 | * adjusted, and otherwise not. |
| 241 | */ |
| 242 | virtual void stop_switch(bool normal_exit) |
| 243 | { |
| 244 | if (normal_exit) |
| 245 | { |
| 246 | auto old_ws = output->wset()->get_current_workspace(); |
| 247 | adjust_overlay_view_switch_done(old_ws); |
| 248 | } |
| 249 | |
| 250 | wall->stop_output_renderer(true); |
| 251 | output->render->rem_effect(&post_render); |
| 252 | running = false; |
| 253 | } |
| 254 | |
| 255 | virtual bool is_running() const |
| 256 | { |
no test coverage detected