WebKit Bugzilla
New
Browse
Search+
Log In
×
Sign in with GitHub
or
Remember my login
Create Account
·
Forgot Password
Forgotten password account recovery
RESOLVED FIXED
99956
Web Inspector: Move file `cmdevtools.css` to `cm/`
https://bugs.webkit.org/show_bug.cgi?id=99956
Summary
Web Inspector: Move file `cmdevtools.css` to `cm/`
Jan Keromnes
Reported
2012-10-21 23:04:59 PDT
A couple months ago, +pfeldman created the folder `front-end/cm/` for the files of the CodeMirror experiment, but I think that the file `front-end/cmdevtools.css` was left behind. This file defines devtools-like styles to make the CodeMirror editor look like devtools' current editor.
Attachments
Patch
(10.85 KB, patch)
2012-10-22 09:09 PDT
,
Jan Keromnes
no flags
Details
Formatted Diff
Diff
View All
Add attachment
proposed patch, testcase, etc.
Jan Keromnes
Comment 1
2012-10-22 09:09:11 PDT
Created
attachment 169923
[details]
Patch
WebKit Review Bot
Comment 2
2012-10-22 10:06:03 PDT
Comment on
attachment 169923
[details]
Patch Clearing flags on attachment: 169923 Committed
r132087
: <
http://trac.webkit.org/changeset/132087
>
WebKit Review Bot
Comment 3
2012-10-22 10:06:07 PDT
All reviewed patches have been landed. Closing 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