Fix the bug that AceEditor in REPL tab is not notified during resize#262

Merged

martin-henz merged 1 commit intosource-academy:masterfrom larrywang0701:repl-update-2023.11

Oct 31, 2023

+3-1

Commits on Oct 31, 2023

Fix the bug that AceEditor in REPL tab is not notified during resize
larrywang0701
authored