##// END OF EJS Templates
get_body_data: fix for undefined...
Cedric GESTES -
Show More
@@ -483,7 +483,10 b' define(['
483 * we should never have any encoded URLs anywhere else in code
483 * we should never have any encoded URLs anywhere else in code
484 * until we are building an actual request
484 * until we are building an actual request
485 */
485 */
486 return decodeURIComponent($('body').data(key));
486 var val = $('body').data(key);
487 if (!val)
488 return val;
489 return decodeURIComponent(val);
487 };
490 };
488
491
489 var to_absolute_cursor_pos = function (cm, cursor) {
492 var to_absolute_cursor_pos = function (cm, cursor) {
General Comments 0
You need to be logged in to leave comments. Login now