(cm, lineNum, column)
| 3040 | return s.replace(/([.?*+$\[\]\/\\(){}|\-])/g, '\\$1'); |
| 3041 | } |
| 3042 | function extendLineToColumn(cm, lineNum, column) { |
| 3043 | var endCh = lineLength(cm, lineNum); |
| 3044 | var spaces = new Array(column-endCh+1).join(' '); |
| 3045 | cm.setCursor(Pos(lineNum, endCh)); |
| 3046 | cm.replaceRange(spaces, cm.getCursor()); |
| 3047 | } |
| 3048 | // This functions selects a rectangular block |
| 3049 | // of text with selectionEnd as any of its corner |
| 3050 | // Height of block: |
no test coverage detected