(session, needle, dir)
| 16596 | var search = new Search(); |
| 16597 | |
| 16598 | function find(session, needle, dir) { |
| 16599 | search.$options.wrap = true; |
| 16600 | search.$options.needle = needle; |
| 16601 | search.$options.backwards = dir == -1; |
| 16602 | return search.find(session); |
| 16603 | } |
| 16604 | var EditSession = require("./edit_session").EditSession; |
| 16605 | (function() { |
| 16606 | this.getSelectionMarkers = function() { |
no test coverage detected