Index: samples/third_party/codemirror/js/select.js |
=================================================================== |
--- samples/third_party/codemirror/js/select.js (revision 55159) |
+++ samples/third_party/codemirror/js/select.js (working copy) |
@@ -481,7 +481,7 @@ |
select.scrollToCursor = function(container) { |
var body = container.ownerDocument.body, win = container.ownerDocument.defaultView; |
var element = select.selectionTopNode(container, true) || container.firstChild; |
- |
+ |
// In Opera, BR elements *always* have a scrollTop property of zero. Go Opera. |
while (element && !element.offsetTop) |
element = element.previousSibling; |