Does not work as expected with Webkit browsers: strange space characters

[GoogleCodeExporter]

What steps will reproduce the problem?
1. copy prettified code from Webkit browser (safari) to an advanced text editor 
(like BBEdit)
2. show invisible chars and spaces

What is the expected output?  What do you see instead?
there are standard space characters in addition to a character that behaves 
like a standard space( 
not in original code), but isn't (it causes errors when compiling actionscript)

Please provide any additional information below.
I managed to work around the issue by replacing  (in prettify.js) all " " 
with " " and also 
replacing /\W/g with " ".

Original issue reported on code.google.com by tyler2...@gmail.com on 7 Apr 2009 at 5:16

[GoogleCodeExporter]

Is this a problem copying from other browsers to BBEdit, or from Safari to 
other text
editors?

I tried copying and pasting from Safari into emacs and it worked fine, and I 
copied
into TextEdit and it preserved most of the HTML, so maybe BBEdit is fetching the
clipboard as HTML, and doing so badly.

Original comment by mikesamuel@gmail.com on 19 May 2009 at 5:28

• Added labels: ****
• Removed labels: ****

[GoogleCodeExporter]

Closing for lack of response

Original comment by mikesamuel@gmail.com on 5 Oct 2009 at 5:01

• Changed state: Invalid
• Added labels: ****
• Removed labels: ****