()
| 905 | }; |
| 906 | |
| 907 | var insert4GraphSliderAtSelection = function () { |
| 908 | var selection_start = cm.getCursor("from"); |
| 909 | var selection_end = cm.getCursor("to"); |
| 910 | var r = cm.getDoc().getRange(selection_start, selection_end); |
| 911 | if (r == "") { |
| 912 | return insert4GraphSliderHere(); |
| 913 | } |
| 914 | else //if (!isNaN(parseFloat(r))) |
| 915 | { |
| 916 | var start = cm.setBookmark(selection_start); |
| 917 | var end = cm.setBookmark(selection_end); |
| 918 | r = r.trim(); |
| 919 | if (r[0] != " ") r = " " + r; |
| 920 | if (r[r.length - 1] != " ") r = r + " "; |
| 921 | cm.getDoc().replaceRange(r, selection_start, selection_end); |
| 922 | |
| 923 | insert4GraphSlider(start.find(), end.find()); |
| 924 | } |
| 925 | }; |
| 926 | |
| 927 | globalCommands.push({ |
| 928 | "name": "Insert 2d, 4-point graph", |
no test coverage detected