Title: [186102] trunk/Source/WebInspectorUI
- Revision
- 186102
- Author
- nvasil...@apple.com
- Date
- 2015-06-29 17:47:29 -0700 (Mon, 29 Jun 2015)
Log Message
Web Inspector: Unable to select the text of an inline error message
https://bugs.webkit.org/show_bug.cgi?id=145813
Reviewed by Timothy Hatcher.
* UserInterface/Views/CodeMirrorOverrides.css:
(.CodeMirror-linewidget):
* UserInterface/Views/TextEditor.js:
(WebInspector.TextEditor.prototype.createWidgetForLine):
Modified Paths
Diff
Modified: trunk/Source/WebInspectorUI/ChangeLog (186101 => 186102)
--- trunk/Source/WebInspectorUI/ChangeLog 2015-06-30 00:40:33 UTC (rev 186101)
+++ trunk/Source/WebInspectorUI/ChangeLog 2015-06-30 00:47:29 UTC (rev 186102)
@@ -1,3 +1,15 @@
+2015-06-29 Nikita Vasilyev <nvasil...@apple.com>
+
+ Web Inspector: Unable to select the text of an inline error message
+ https://bugs.webkit.org/show_bug.cgi?id=145813
+
+ Reviewed by Timothy Hatcher.
+
+ * UserInterface/Views/CodeMirrorOverrides.css:
+ (.CodeMirror-linewidget):
+ * UserInterface/Views/TextEditor.js:
+ (WebInspector.TextEditor.prototype.createWidgetForLine):
+
2015-06-29 Joseph Pecoraro <pecor...@apple.com>
Web Inspector: Remove harmless error for not getting named flows
Modified: trunk/Source/WebInspectorUI/UserInterface/Views/CodeMirrorOverrides.css (186101 => 186102)
--- trunk/Source/WebInspectorUI/UserInterface/Views/CodeMirrorOverrides.css 2015-06-30 00:40:33 UTC (rev 186101)
+++ trunk/Source/WebInspectorUI/UserInterface/Views/CodeMirrorOverrides.css 2015-06-30 00:47:29 UTC (rev 186102)
@@ -80,3 +80,7 @@
line-height: 13px;
text-align: right;
}
+
+.CodeMirror-linewidget {
+ -webkit-user-select: text;
+}
Modified: trunk/Source/WebInspectorUI/UserInterface/Views/TextEditor.js (186101 => 186102)
--- trunk/Source/WebInspectorUI/UserInterface/Views/TextEditor.js 2015-06-30 00:40:33 UTC (rev 186101)
+++ trunk/Source/WebInspectorUI/UserInterface/Views/TextEditor.js 2015-06-30 00:47:29 UTC (rev 186102)
@@ -593,7 +593,7 @@
return null;
var widgetElement = document.createElement("div");
- var lineWidget = this._codeMirror.addLineWidget(lineHandle, widgetElement, {coverGutter: false, noHScroll: true, handleMouseEvents: true});
+ var lineWidget = this._codeMirror.addLineWidget(lineHandle, widgetElement, {coverGutter: false, noHScroll: true});
return new WebInspector.LineWidget(lineWidget, widgetElement);
}
_______________________________________________
webkit-changes mailing list
webkit-changes@lists.webkit.org
https://lists.webkit.org/mailman/listinfo/webkit-changes
