simple editor options: no indent guides.

This commit is contained in:
isidor
2019-12-19 10:41:30 +01:00
parent fb1fc020f4
commit 046ae379de
2 changed files with 10 additions and 9 deletions
@@ -34,7 +34,8 @@ export function getSimpleEditorOptions(): IEditorOptions {
acceptSuggestionOnEnter: 'smart',
minimap: {
enabled: false
}
},
renderIndentGuides: false
};
}
@@ -6,7 +6,6 @@
import 'vs/css!vs/workbench/contrib/debug/browser/media/repl';
import * as nls from 'vs/nls';
import { URI as uri } from 'vs/base/common/uri';
import * as errors from 'vs/base/common/errors';
import { IAction, IActionViewItem, Action } from 'vs/base/common/actions';
import * as dom from 'vs/base/browser/dom';
import * as aria from 'vs/base/browser/ui/aria/aria';
@@ -401,17 +400,17 @@ export class Repl extends Panel implements IPrivateReplService, IHistoryNavigati
@memoize
private get refreshScheduler(): RunOnceScheduler {
return new RunOnceScheduler(() => {
return new RunOnceScheduler(async () => {
if (!this.tree.getInput()) {
return;
}
const lastElementVisible = this.tree.scrollTop + this.tree.renderHeight >= this.tree.scrollHeight;
this.tree.updateChildren().then(() => {
if (lastElementVisible) {
// Only scroll if we were scrolled all the way down before tree refreshed #10486
revealLastElement(this.tree);
}
}, errors.onUnexpectedError);
await this.tree.updateChildren();
if (lastElementVisible) {
// Only scroll if we were scrolled all the way down before tree refreshed #10486
revealLastElement(this.tree);
}
}, Repl.REFRESH_DELAY);
}
@@ -588,6 +587,7 @@ export class Repl extends Panel implements IPrivateReplService, IHistoryNavigati
this.replElementsChangeListener.dispose();
}
this.refreshScheduler.dispose();
this.modelChangeListener.dispose();
super.dispose();
}
}