| 259 | } |
| 260 | |
| 261 | void World::undo_with_checks() { |
| 262 | if(!clientStillConnecting && !drawProg.prevent_undo_or_redo()) |
| 263 | undo.undo(); |
| 264 | } |
| 265 | |
| 266 | void World::redo_with_checks() { |
| 267 | if(!clientStillConnecting && !drawProg.prevent_undo_or_redo()) |
no test coverage detected