microsoft / microsoft/monaco-editor
[Bug] Sticky scroll widget is rendered incorrectly after font size update
Open
Nobody has claimed this yet.
- Dominant language
- JavaScript
- Stars
- 46.8k
- Forks
- 4.1k
- Avg merge
- 17h 58m
- Merged PRs (30d)
- 1
Description
Reproducible in vscode.dev or in VS Code Desktop?
- Not reproducible in vscode.dev or VS Code Desktop
Reproducible in the monaco editor playground?
- Not reproducible in the monaco editor playground
Monaco Editor Playground Link
Monaco Editor Playground Code
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)
Reproduction Steps
- Scroll down so the sticky scroll widget appears
- Change editor font size using
updateOptions({ fontSize })while the sticky scroll is still visible
Actual (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
Contributor guide
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
Research direction
Start with the linked Monaco Editor Playground and reproduce the issue using the shown monaco.editor.create setup and updateOptions({ fontSize }) calls. Trace the sticky scroll widget's response to the font-size change; done means its text uses the updated editor font size while it remains visible.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- javascript
- Domain
- frontend
- Issue type
- Bug
- Difficulty
- 3/5
- Estimated time
- 1-2 days
- Activity status
- Stale
- Clarity
- Mostly clear
- Newbie friendliness
- 48/100