Show More
@@ -147,6 +147,10 b' class InteractivelyDefined(Exception):' | |||||
147 | class CodeMagics(Magics): |
|
147 | class CodeMagics(Magics): | |
148 | """Magics related to code management (loading, saving, editing, ...).""" |
|
148 | """Magics related to code management (loading, saving, editing, ...).""" | |
149 |
|
149 | |||
|
150 | def __init__(self, *args, **kwargs): | |||
|
151 | self._knowntemps = set() | |||
|
152 | super(CodeMagics, self).__init__(*args, **kwargs) | |||
|
153 | ||||
150 | @line_magic |
|
154 | @line_magic | |
151 | def save(self, parameter_s=''): |
|
155 | def save(self, parameter_s=''): | |
152 | """Save a set of lines or a macro to a given filename. |
|
156 | """Save a set of lines or a macro to a given filename. | |
@@ -661,6 +665,12 b' class CodeMagics(Magics):' | |||||
661 | # just give up. |
|
665 | # just give up. | |
662 | return |
|
666 | return | |
663 |
|
667 | |||
|
668 | if is_temp: | |||
|
669 | self._knowntemps.add(filename) | |||
|
670 | elif (filename in self._knowntemps): | |||
|
671 | is_temp = True | |||
|
672 | ||||
|
673 | ||||
664 | # do actual editing here |
|
674 | # do actual editing here | |
665 | print('Editing...', end=' ') |
|
675 | print('Editing...', end=' ') | |
666 | sys.stdout.flush() |
|
676 | sys.stdout.flush() |
General Comments 0
You need to be logged in to leave comments.
Login now