Show More
@@ -237,7 +237,12 b' class NotebookManager(LoggingConfigurable):' | |||||
237 | self.delete_notebook_id(notebook_id) |
|
237 | self.delete_notebook_id(notebook_id) | |
238 |
|
238 | |||
239 | def increment_filename(self, basename): |
|
239 | def increment_filename(self, basename): | |
240 |
"""Return a non-used filename of the form basename |
|
240 | """Return a non-used filename of the form basename<int>. | |
|
241 | ||||
|
242 | This searches through the filenames (basename0, basename1, ...) | |||
|
243 | until is find one that is not already being used. It is used to | |||
|
244 | create Untitled and Copy names that are unique. | |||
|
245 | """ | |||
241 | i = 0 |
|
246 | i = 0 | |
242 | while True: |
|
247 | while True: | |
243 | name = u'%s%i' % (basename,i) |
|
248 | name = u'%s%i' % (basename,i) |
General Comments 0
You need to be logged in to leave comments.
Login now