diff options
Diffstat (limited to 'extras/appengine/static/script.js')
| -rw-r--r-- | extras/appengine/static/script.js | 7 |
1 files changed, 1 insertions, 6 deletions
diff --git a/extras/appengine/static/script.js b/extras/appengine/static/script.js index 71bbabb..8bdf271 100644 --- a/extras/appengine/static/script.js +++ b/extras/appengine/static/script.js @@ -11,7 +11,6 @@ function update_output() { data.keyword_case = $('#id_keyword_case').val(); data.identifier_case = $('#id_identifier_case').val(); data.n_indents = $('#id_n_indents').val(); - data.right_margin = $('#id_right_margin').val(); data.output_format = $('#id_output_format').val(); form = document.getElementById('form_options'); $(form.elements).attr('disabled', 'disabled'); @@ -72,7 +71,7 @@ function load_example() { fname = $('#sel_example').val(); data = {fname: fname}; $.post('/load_example', data, - function(data) { + function(data) { $('#id_data').val(data.answer); }, 'json'); } @@ -96,8 +95,4 @@ function init() { $(document).bind('keydown', {combi: 't', disableInInput: true}, textarea_grab_focus); initialized = true; - /* jQuery textarea resizer plugin usage */ - $(document).ready(function() { - $('textarea.resizable:not(.processed)').TextAreaResizer(); - }); }
\ No newline at end of file |
