()
| 1312 | }; |
| 1313 | |
| 1314 | var insertBoolAtSelection = function () { |
| 1315 | var selection_start = cm.getCursor("from"); |
| 1316 | var selection_end = cm.getCursor("to"); |
| 1317 | |
| 1318 | var r = cm.getDoc().getRange(selection_start, selection_end); |
| 1319 | if (r == "") { |
| 1320 | return insertBoolHere(); |
| 1321 | } |
| 1322 | else //if (!isNaN(parseFloat(r))) |
| 1323 | { |
| 1324 | var start = cm.setBookmark(selection_start); |
| 1325 | var end = cm.setBookmark(selection_end); |
| 1326 | r = r.trim(); |
| 1327 | if (r[0] != " ") r = " " + r; |
| 1328 | if (r[r.length - 1] != " ") r = r + " "; |
| 1329 | cm.getDoc().replaceRange(r, selection_start, selection_end); |
| 1330 | |
| 1331 | insertBool(start.find(), end.find()); |
| 1332 | } |
| 1333 | }; |
| 1334 | |
| 1335 | globalCommands.push({ |
| 1336 | "name": "Insert checkbox", |
no test coverage detected