equal
deleted
inserted
replaced
24 var key = firstSelected(document.getElementById('pkey:' + varname)); |
24 var key = firstSelected(document.getElementById('pkey:' + varname)); |
25 if (key) { |
25 if (key) { |
26 var args = { |
26 var args = { |
27 fname: 'prop_widget', |
27 fname: 'prop_widget', |
28 pageid: pageid, |
28 pageid: pageid, |
29 arg: $.map([key, varname, tabindex], jQuery.toJSON) |
29 arg: $.map([key, varname, tabindex], JSON.stringify) |
30 }; |
30 }; |
31 cw.jqNode('div:value:' + varname).loadxhtml(AJAX_BASE_URL, args, 'post'); |
31 cw.jqNode('div:value:' + varname).loadxhtml(AJAX_BASE_URL, args, 'post'); |
32 } |
32 } |
33 } |
33 } |
34 |
34 |