##// END OF EJS Templates
more details (comments) on unicode bug
Fernando Perez -
Show More
@@ -1808,7 +1808,11 b' Currently the magic system has the following functions:\\n"""'
1808 # XXX: Unfortunately the unicode 'micro' symbol can cause problems in
1808 # XXX: Unfortunately the unicode 'micro' symbol can cause problems in
1809 # certain terminals. Until we figure out a robust way of
1809 # certain terminals. Until we figure out a robust way of
1810 # auto-detecting if the terminal can deal with it, use plain 'us' for
1810 # auto-detecting if the terminal can deal with it, use plain 'us' for
1811 # microseconds. Note: using
1811 # microseconds. I am really NOT happy about disabling the proper
1812 # 'micro' prefix, but crashing is worse... If anyone knows what the
1813 # right solution for this is, I'm all ears...
1814 #
1815 # Note: using
1812 #
1816 #
1813 # s = u'\xb5'
1817 # s = u'\xb5'
1814 # s.encode(sys.getdefaultencoding())
1818 # s.encode(sys.getdefaultencoding())
General Comments 0
You need to be logged in to leave comments. Login now