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
Norbert Preining edited this page Oct 6, 2017
·
1 revision
auto context switch
Possible values: on or off, default is off.
If this switch is on, the context will automatically switch to
the most recent module, i.e., defining a module or inspecting
a module's content will switch the current module.