Show More
@@ -8,4 +8,4 from .notebook import NotebookExporter | |||||
8 | from .pdf import PDFExporter |
|
8 | from .pdf import PDFExporter | |
9 | from .python import PythonExporter |
|
9 | from .python import PythonExporter | |
10 | from .rst import RSTExporter |
|
10 | from .rst import RSTExporter | |
11 | from .exporter import Exporter, Extension |
|
11 | from .exporter import Exporter, FilenameExtension |
@@ -24,7 +24,7 class ResourcesDict(collections.defaultdict): | |||||
24 | return '' |
|
24 | return '' | |
25 |
|
25 | |||
26 |
|
26 | |||
27 | class Extension(TraitType): |
|
27 | class FilenameExtension(TraitType): | |
28 | """A trait for filename extensions.""" |
|
28 | """A trait for filename extensions.""" | |
29 |
|
29 | |||
30 | default_value = u'' |
|
30 | default_value = u'' | |
@@ -52,7 +52,7 class Exporter(LoggingConfigurable): | |||||
52 | accompanying resources dict. |
|
52 | accompanying resources dict. | |
53 | """ |
|
53 | """ | |
54 |
|
54 | |||
55 | file_extension = Extension( |
|
55 | file_extension = FilenameExtension( | |
56 | '.txt', config=True, |
|
56 | '.txt', config=True, | |
57 | help="Extension of the file that should be written to disk" |
|
57 | help="Extension of the file that should be written to disk" | |
58 | ) |
|
58 | ) |
General Comments 0
You need to be logged in to leave comments.
Login now