WebKit Bugzilla
New
Browse
Log In
×
Sign in with GitHub
or
Remember my login
Create Account
·
Forgot Password
Forgotten password account recovery
RESOLVED INVALID
113804
Web Inspector: [CodeMirror] blue selection for codemirror
https://bugs.webkit.org/show_bug.cgi?id=113804
Summary
Web Inspector: [CodeMirror] blue selection for codemirror
Andrey Lushnikov
Reported
2013-04-02 10:56:31 PDT
Make codemirror's selection color to be blue.
Attachments
Patch
(1.39 KB, patch)
2013-04-02 10:58 PDT
,
Andrey Lushnikov
pfeldman
: review-
Details
Formatted Diff
Diff
blue codemirror selection
(4.09 KB, image/png)
2013-04-02 10:58 PDT
,
Andrey Lushnikov
no flags
Details
View All
Add attachment
proposed patch, testcase, etc.
Andrey Lushnikov
Comment 1
2013-04-02 10:58:00 PDT
Created
attachment 196179
[details]
Patch
Andrey Lushnikov
Comment 2
2013-04-02 10:58:22 PDT
Created
attachment 196180
[details]
blue codemirror selection
Pavel Feldman
Comment 3
2013-04-02 11:20:02 PDT
Comment on
attachment 196179
[details]
Patch View in context:
https://bugs.webkit.org/attachment.cgi?id=196179&action=review
> Source/WebCore/inspector/front-end/cm/cmdevtools.css:11 > + background-color: rgba(50, 145, 252, 0.6) !important;
Selection should we derived from embedder natives.
Roland Takacs
Comment 4
2013-05-30 06:09:17 PDT
CodeMirror is a Chromium specific suite. WebKit only uses DefaultTextEditor. Does anyone want DefaultTextEditor to use blue selection bg color? If not, I will close the bug.
Note
You need to
log in
before you can comment on or make changes to this bug.
Top of Page
Format For Printing
XML
Clone This Bug