(cm)
| 43 | this.overlay = null; |
| 44 | } |
| 45 | function getSearchState(cm) { |
| 46 | return cm.state.search || (cm.state.search = new SearchState()); |
| 47 | } |
| 48 | function queryCaseInsensitive(query) { |
| 49 | return typeof query == "string" && query == query.toLowerCase(); |
| 50 | } |
no outgoing calls
no test coverage detected