##// END OF EJS Templates
Merge pull request #9142 from Carreau/editlog...
Thomas Kluyver -
r21967:c99d8cc4 merge
parent child Browse files
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