We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Playground Link
const value = /* set from `myEditor.getModel()`: */ `def game(): try: try: try: try: print('hello') print('hello') print('hello') print('hello') print('hello') print('hello') print('hello') print('hello') print('hello') print('hello') print('hello') print('hello') print('hello') print('hello') print('hello') print('hello') print('hello') print('hello') print('hello') print('hello') print('hello') `; // Hover on each property to see its docs! const myEditor = monaco.editor.create(document.getElementById("container"), { value, language: "python", automaticLayout: true, fontSize: 10 }); let toggler = true; setInterval(() => { myEditor.updateOptions({ fontSize: toggler ? 30 : 10 }); toggler = !toggler }, 2000)
updateOptions({ fontSize })
The sticky scroll widget has the wrong font size:
The sticky scroll widget has the correct font size:
No response
The text was updated successfully, but these errors were encountered:
No branches or pull requests
Reproducible in vscode.dev or in VS Code Desktop?
Reproducible in the monaco editor playground?
Monaco Editor Playground Link
Playground Link
Monaco Editor Playground Code
Reproduction Steps
updateOptions({ fontSize })
while the sticky scroll is still visibleActual (Problematic) Behavior
The sticky scroll widget has the wrong font size:
Expected Behavior
The sticky scroll widget has the correct font size:
Additional Context
No response
The text was updated successfully, but these errors were encountered: