##// END OF EJS Templates
shorten json indent to 1sp
MinRK -
Show More
@@ -51,7 +51,7 b' class JSONWriter(NotebookWriter):'
51
51
52 def writes(self, nb, **kwargs):
52 def writes(self, nb, **kwargs):
53 kwargs['cls'] = BytesEncoder
53 kwargs['cls'] = BytesEncoder
54 kwargs['indent'] = 4
54 kwargs['indent'] = 1
55 kwargs['sort_keys'] = True
55 kwargs['sort_keys'] = True
56 if kwargs.pop('split_lines', True):
56 if kwargs.pop('split_lines', True):
57 nb = split_lines(copy.deepcopy(nb))
57 nb = split_lines(copy.deepcopy(nb))
General Comments 0
You need to be logged in to leave comments. Login now