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
If the user runs two instances of the same REPL run config, currently there's no good way to indicate which should be used to evaluate. There's really no way to distinguish this case, since REPLs are identified in config only by the name. If multiple copies are running, they should have an index (e.g. (1), (2)) in their REPL tab name, and when evaluating a popup should be shown so the user can choose.
The text was updated successfully, but these errors were encountered:
If the user runs two instances of the same REPL run config, currently there's no good way to indicate which should be used to evaluate. There's really no way to distinguish this case, since REPLs are identified in config only by the name. If multiple copies are running, they should have an index (e.g.
(1)
,(2)
) in their REPL tab name, and when evaluating a popup should be shown so the user can choose.The text was updated successfully, but these errors were encountered: