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
After the user starts up a REPL using "Jack In" and starts evaluating things, the REPLInfoParser._docString field gets set to undefined if the function does not have a docstring defined. Currently, this shows up as undefined when hovering over symbols.
The text was updated successfully, but these errors were encountered:
After the user starts up a REPL using "Jack In" and starts evaluating things, the
REPLInfoParser._docString
field gets set to undefined if the function does not have a docstring defined. Currently, this shows up as undefined when hovering over symbols.The text was updated successfully, but these errors were encountered: