mirrors/hedgedoc
1
0
Fork 0
mirror of https://github.com/hedgedoc/hedgedoc.git synced 2025-06-01 23:58:58 -04:00
Code Issues Projects Releases Packages Wiki Activity Actions

Marked as 0.2.9

Browse source
This commit is contained in:
Wu Cheng-Han 2015-06-01 18:04:25 +08:00
parent 4e64583a0b
commit f7f8c901f4
33 changed files with 2972 additions and 242 deletions
Download patch file Download diff file Expand all files Collapse all files

12
public/vendor/codemirror/lib/codemirror.js vendored
View file

@ -388,7 +388,7 @@
viewWidth: d.wrapper.clientWidth,
barLeft: cm.options.fixedGutter ? gutterW : 0,
docHeight: docH,
scrollHeight: docH + scrollGap(cm) + d.barHeight,
scrollHeight: docH + scrollGap(cm) + d.barHeight + textHeight(cm.display),
nativeBarWidth: d.nativeBarWidth,
gutterWidth: gutterW
};
@ -2287,9 +2287,13 @@
}
$('.other-cursor').each(function(key, value) {
var coord = cm.charCoords({line:$(value).attr('data-line'), ch:$(value).attr('data-ch')}, 'windows');
$(value)[0].style.left = coord.left + 'px';
$(value)[0].style.top = coord.top + 'px';
var line = parseInt($(value).attr('data-line'));
var ch = parseInt($(value).attr('data-ch'));
var offsetLeft = parseFloat($(value).attr('data-offset-left'));
var offsetTop = parseFloat($(value).attr('data-offset-top'));
var coord = cm.charCoords({line: line, ch: ch}, 'windows');
$(value)[0].style.left = coord.left + offsetLeft + 'px';
$(value)[0].style.top = coord.top + offsetTop + 'px';
});
}