Update editor window when stopped

pull/574/head
Dmitry Sharshakov 3 years ago
parent a938f5a87a
commit bcab93c94e
No known key found for this signature in database
GPG Key ID: 471FD32E15FD8473

@ -200,6 +200,7 @@ impl Application {
let (bt, _) = debugger.stack_trace(main.id).await.unwrap();
debugger.stack_pointer = bt.get(0).cloned();
}
self.render();
}
_ => {}
}

Loading…
Cancel
Save