One-liner fix. The code was assuming that editor.refresh() would do a editor.redraw() too (like for Dopesheet), but that wasn't the case.
One-liner fix. The code was assuming that editor.refresh() would do a editor.redraw() too (like for Dopesheet), but that wasn't the case.