@@ -92,7 +92,12 @@ def escapestr(s: str) -> str:
92
92
"""
93
93
Escape a string for safe HTML rendering.
94
94
"""
95
- return escape (s ).replace (""" , "\"" ).replace ("\n " , "\n" )
95
+ return (
96
+ escape (s )
97
+ .replace ("\\ " , "\\" )
98
+ .replace (""" , "\"" )
99
+ .replace ("\n " , "\n" )
100
+ )
96
101
97
102
98
103
def highlight_data (json_data : Any , drop_frame : bool = False ) -> str :
@@ -103,10 +108,10 @@ def highlight_data(json_data: Any, drop_frame: bool = False) -> str:
103
108
if len (json_data ) > 60 :
104
109
return f'<span class="str">"<span class="ellipsis">{ escapestr (json_data )} </span>"</span>'
105
110
return f'<span class="str">"{ escapestr (json_data )} "</span>'
106
- if isinstance (json_data , (int , float )):
107
- return f'<span class="num">{ json_data } </span>'
108
111
if isinstance (json_data , bool ):
109
112
return f'<span class="bool">{ str (json_data ).lower ()} </span>'
113
+ if isinstance (json_data , (int , float )):
114
+ return f'<span class="num">{ json_data } </span>'
110
115
if json_data is None :
111
116
return '<span class="null">null</span>'
112
117
if isinstance (json_data , dict ):
0 commit comments