fix(SaveManager): use getActiveOrNull to avoid race when leaving editor#777
Open
gewu2022 wants to merge 1 commit into
Open
fix(SaveManager): use getActiveOrNull to avoid race when leaving editor#777gewu2022 wants to merge 1 commit into
gewu2022 wants to merge 1 commit into
