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. |
|
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