Dirty render issue when you go to the end of a file

RESOLVED FIXED

Status

P2
normal
RESOLVED FIXED
10 years ago
10 years ago

People

(Reporter: dion, Unassigned)

Tracking

Details

(Reporter)

Description

10 years ago
If you hit CMD-END to jump to the end of a file, you will notice a quick flash at the top of the page.

It is a rendering bug that quickly gets fixed via the full page refresh.

Fix the core issue, which should be as simple as adding a manual ui.editor.paint(true); after the action.
(Reporter)

Comment 1

10 years ago
To debug take a look at this code in toggleCursor / editor.js:

        if (++this.toggleCursorFullRepaintCounter > 0) {
            this.toggleCursorFullRepaintCounter = 0;
            ui.editor.paint(true);
        } else {
            ui.editor.paint();
        }

Comment it all out and just have:

            ui.editor.paint();

Then go to the end of the page.
Priority: -- → P2

Updated

10 years ago
Target Milestone: Future → ---

Comment 2

10 years ago
I don't see this anymore
Status: NEW → RESOLVED
Last Resolved: 10 years ago
Resolution: --- → FIXED
You need to log in before you can comment on or make changes to this bug.