##// END OF EJS Templates
Rename Extension to FilenameExtension
Jessica B. Hamrick -
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