(res)
| 717 | }; |
| 718 | |
| 719 | var formatErrors = function(res) { |
| 720 | var errors = []; |
| 721 | var line = 0; |
| 722 | var ch = 0; |
| 723 | for (var i = 0; i < res.length; i++) { |
| 724 | line = res[i].line || 0; |
| 725 | ch = res[i].ch || 0; |
| 726 | errors.push({ |
| 727 | from: CodeMirror.Pos(line, ch), |
| 728 | to: CodeMirror.Pos(line, ch), |
| 729 | message: res[i].msg, |
| 730 | severity : 'error' |
| 731 | }); |
| 732 | } |
| 733 | return errors; |
| 734 | }; |
| 735 | |
| 736 | var $panelButtons = $('#panels'); |
| 737 |