force update of stack trace when stopped

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

@ -287,10 +287,10 @@ impl Application {
main.map(|t| t.id)
});
if let Some(id) = main {
select_thread_id(&mut self.editor, id, false).await;
select_thread_id(&mut self.editor, id, true).await;
}
} else {
select_thread_id(&mut self.editor, thread_id.unwrap(), false).await;
select_thread_id(&mut self.editor, thread_id.unwrap(), true).await;
}
let scope = match thread_id {

Loading…
Cancel
Save