You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
workaround to avoid the double-open problem: set the priority to 'opt…#57
Merged
vincent-botbol merged 1 commit intomasterCatalaLang/catala-language-server:masterfrom fix_double_openCatalaLang/catala-language-server:fix_double_openCopy head branch name to clipboardDec 2, 2024