(cm, helpers)
| 13794 | } |
| 13795 | |
| 13796 | function applicableHelpers(cm, helpers) { |
| 13797 | if (!cm.somethingSelected()) return helpers |
| 13798 | var result = [] |
| 13799 | for (var i = 0; i < helpers.length; i++) if (helpers[i].supportsSelection) result.push(helpers[i]) |
| 13800 | return result |
| 13801 | } |
| 13802 | |
| 13803 | function fetchHints(hint, cm, options, callback) { |
| 13804 | if (hint.async) { |