From: commit-queue@webkit.org <commit-queue@webkit.org@268f45cc-cd09-0410-ab3c-d52691b4dbfc>
Date: Mon, 11 Feb 2013 11:29:03 +0000 (+0000)
Subject: Web Inspector: displaying whitespace characters is broken
X-Git-Url: https://git.webkit.org/?p=WebKit-https.git;a=commitdiff_plain;h=368c7270d53c02de898b23698d1e5931881025f5

Web Inspector: displaying whitespace characters is broken
https://bugs.webkit.org/show_bug.cgi?id=109412

Patch by Andrey Lushnikov <lushnikov@chromium.org> on 2013-02-11
Reviewed by Vsevolod Vlasov.

Add "pointer-events: none" rule for pseudo-class "before", which
maintains rendering of whitespace characters.

No new tests.

* inspector/front-end/inspectorSyntaxHighlight.css:
(.webkit-whitespace::before):

git-svn-id: https://svn.webkit.org/repository/webkit/trunk@142447 268f45cc-cd09-0410-ab3c-d52691b4dbfc
---

diff --git a/Source/WebCore/ChangeLog b/Source/WebCore/ChangeLog
index f7849bb23309..d295b7920d9c 100644
--- a/Source/WebCore/ChangeLog
+++ b/Source/WebCore/ChangeLog
@@ -1,3 +1,18 @@
+2013-02-11  Andrey Lushnikov  <lushnikov@chromium.org>
+
+        Web Inspector: displaying whitespace characters is broken
+        https://bugs.webkit.org/show_bug.cgi?id=109412
+
+        Reviewed by Vsevolod Vlasov.
+
+        Add "pointer-events: none" rule for pseudo-class "before", which
+        maintains rendering of whitespace characters.
+
+        No new tests.
+
+        * inspector/front-end/inspectorSyntaxHighlight.css:
+        (.webkit-whitespace::before):
+
 2013-02-11  Alexander Pavlov  <apavlov@chromium.org>
 
         Web Inspector: Implement position-based sourcemapping for stylesheets
diff --git a/Source/WebCore/inspector/front-end/inspectorSyntaxHighlight.css b/Source/WebCore/inspector/front-end/inspectorSyntaxHighlight.css
index 122ae32ccc45..10fa3c9d021b 100644
--- a/Source/WebCore/inspector/front-end/inspectorSyntaxHighlight.css
+++ b/Source/WebCore/inspector/front-end/inspectorSyntaxHighlight.css
@@ -92,6 +92,7 @@
 
 .webkit-whitespace::before {
     position: absolute;
+    pointer-events: none;
     color: rgb(175, 175, 175);
 }