Bug 94056

Summary:	Web Inspector: Render error messages and warnings in CodeMirrorTextEditor
Product:	WebKit	Reporter:	Jan Keromnes <janx>
Component:	Web Inspector (Deprecated)	Assignee:	Nobody <webkit-unassigned>
Status:	RESOLVED FIXED
Severity:	Normal	CC:	apavlov, bweinstein, joepeck, keishi, loislo, pfeldman, pmuellr, rik, yurys
Priority:	P2
Version:	528+ (Nightly build)
Hardware:	All
OS:	All
Bug Depends on:	99319
Bug Blocks:

Description Jan Keromnes 2012-08-14 18:30:23 PDT

Currently, DefaultTextEditor pushes the text down when displaying an error/warning message bubble, so as to make space for the message without hiding the related context code.

We should add the same behaviour to CodeMirrorTextEditor, or aim for a different design, e.g. like the Eclipse gutter markers that display errors and warnings when you hover over them.