microsoft / microsoft/monaco-editor

[Bug] Sticky scroll widget is rendered incorrectly after font size update

Open
#4,729 0 comments 0 reactions 0 assignees View on GitHub

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?
Monaco Editor Playground Link

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
  1. Scroll down so the sticky scroll widget appears
  2. 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:

Image

Expected Behavior

The sticky scroll widget has the correct font size:

Image

Additional Context

No response

Contributor guide

Open the contributing guide

First steps

  1. Read the whole issue, then the project's contributing guide.
  2. Comment on the issue to say you are picking it up — it saves two people doing the same work.
  3. Fork the repository and make your change on a branch.
  4. 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

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.