提交 4348ca05 编写于 作者: J Johannes Rieken

bring selection/focus back to editor after updating the zone widget height, fixes #11408

上级 bd35113a
......@@ -393,7 +393,12 @@ class MarkerNavigationWidget extends ZoneWidget {
this._fixesWidget
.update(newQuickFixes)
.then(() => this.show(this.position, this.computeRequiredHeight()));
.then(() => {
const selections = this.editor.getSelections();
super.show(this.position, this.computeRequiredHeight());
this.editor.setSelections(selections);
this.editor.focus();
});
}
private computeRequiredHeight() {
......
Markdown is supported
0% .
You are about to add 0 people to the discussion. Proceed with caution.
先完成此消息的编辑!
想要评论请 注册