Bug 99956

Summary: Web Inspector: Move file `cmdevtools.css` to `cm/`
Product: WebKit Reporter: Jan Keromnes <janx>
Component: Web Inspector (Deprecated)Assignee: Jan Keromnes <janx>
Status: RESOLVED FIXED    
Severity: Normal CC: apavlov, keishi, loislo, pfeldman, pmuellr, vsevik, web-inspector-bugs, webkit.review.bot, yurys
Priority: P2    
Version: 528+ (Nightly build)   
Hardware: All   
OS: All   
Attachments:
Description Flags
Patch none

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
DetailsFormatted DiffDiff
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.