()
| 266 | } |
| 267 | |
| 268 | @InvokableAction(name = "Refresh screen", |
| 269 | category = "display", |
| 270 | description = "Marks screen contents as changed, forcing full screen redraw", |
| 271 | alternatives = "redraw", |
| 272 | defaultKeyMapping = {"ctrl+shift+r"}) |
| 273 | public static void forceRefresh() { |
| 274 | Emulator.withVideo(v->v._forceRefresh()); |
| 275 | } |
| 276 | |
| 277 | protected void _forceRefresh() { |
| 278 | lineDirty = true; |
no test coverage detected