Closed JonasIsensee closed 1 week ago
This PR makes the REPL path completions also search through open JLD2 files and allows easy navigation / access of files.
The current implementation has to redefine the REPL.REPLCompletions function definitions which is suboptimal. Maybe there is a better way..
REPL.REPLCompletions
This PR makes the REPL path completions also search through open JLD2 files and allows easy navigation / access of files.
The current implementation has to redefine the
REPL.REPLCompletionsfunction definitions which is suboptimal. Maybe there is a better way..