| 3241 | } |
| 3242 | |
| 3243 | void |
| 3244 | force_launch_placement(void) |
| 3245 | { |
| 3246 | if (gl.launchplace.obj) { |
| 3247 | gl.launchplace.obj->otrapped = 0; |
| 3248 | place_object(gl.launchplace.obj, gl.launchplace.x, gl.launchplace.y); |
| 3249 | } |
| 3250 | } |
| 3251 | |
| 3252 | /* |
| 3253 | * Move obj from (x1,y1) to (x2,y2) |
no test coverage detected