Summary: | Text copied from Web Inspector is different from actual text | ||||||||
---|---|---|---|---|---|---|---|---|---|
Product: | WebKit | Reporter: | Johan Bergström <bugs> | ||||||
Component: | Web Inspector (Deprecated) | Assignee: | Matt Lilek <dev+webkit> | ||||||
Status: | RESOLVED FIXED | ||||||||
Severity: | Normal | CC: | bugs, dev+webkit, ian, joost, mitz | ||||||
Priority: | P3 | ||||||||
Version: | 420+ | ||||||||
Hardware: | Mac | ||||||||
OS: | OS X 10.4 | ||||||||
Attachments: |
|
Description
Johan Bergström
2006-01-23 02:41:30 PST
Confirmed, marking P3 as i don't think this is an issue blocking anything. This happens because we use CSS generated content for the style markup and WebKit doesn't copy generated content. We could move off of generated content or preferably make generated content copyable. Created attachment 11685 [details] patch This patch moves the markup from css to javascript until bug 7562 is fixed. Comment on attachment 11685 [details]
patch
- margin: 0.3em;
I think it would be nice to preserve the space. You can put the "=" sign in its own span say with class "relation" and use the same margin rule for it.
Created attachment 11691 [details]
revised patch
revised patch with mitz's suggestion
|