()
| 577 | }; |
| 578 | |
| 579 | var insertFloatSliderAtSelection = function () { |
| 580 | var selection_start = cm.getCursor("from"); |
| 581 | var selection_end = cm.getCursor("to"); |
| 582 | var r = cm.getDoc().getRange(selection_start, selection_end); |
| 583 | if (r == "") { |
| 584 | return insertFloatSliderHere(); |
| 585 | } |
| 586 | else if (!isNaN(parseFloat(r))) { |
| 587 | |
| 588 | var start = cm.setBookmark(selection_start); |
| 589 | var end = cm.setBookmark(selection_end); |
| 590 | |
| 591 | if (r[0] != " ") r = " " + r; |
| 592 | if (r[r.length - 1] != " ") r = r + " "; |
| 593 | cm.getDoc().replaceRange(r, selection_start, selection_end); |
| 594 | |
| 595 | insertFloatSlider(start.find(), end.find()); |
| 596 | } |
| 597 | else { |
| 598 | |
| 599 | } |
| 600 | }; |
| 601 | |
| 602 | globalCommands.push({ |
| 603 | "name": "Insert float slider", |
no test coverage detected