Fix bug in updateWrapData. Rendering still sometimes misaligned
This commit is contained in:
parent
79678b5e96
commit
353c6a4f4a
4 changed files with 28 additions and 17 deletions
|
|
@ -21,6 +21,7 @@
|
|||
* Contributor(s):
|
||||
* Fabian Jakobs <fabian AT ajax DOT org>
|
||||
* Kevin Dangoor (kdangoor@mozilla.com)
|
||||
* Julian Viereck <julian DOT viereck AT gmail DOT com>
|
||||
*
|
||||
* Alternatively, the contents of this file may be used under the terms of
|
||||
* either the GNU General Public License Version 2 or later (the "GPL"), or
|
||||
|
|
@ -154,6 +155,8 @@ exports.launch = function(env) {
|
|||
docs.js.addFold(new Range(1, 10, 2, 10), "foo...");
|
||||
|
||||
docs.svg.addFold(new Range(1, 0, 7, 0), "fold...");
|
||||
|
||||
docs.plain.addFold(new Range(0, 90, 2, 30), "fold");
|
||||
window.s = docs.js;
|
||||
window.e = env.editor;
|
||||
setTimeout(function() {
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue