diff options
author | Valerio Virgillito | 2012-02-14 11:07:21 -0800 |
---|---|---|
committer | Valerio Virgillito | 2012-02-14 11:07:21 -0800 |
commit | f060190a3bffd9a16718f2ce0499699103d46372 (patch) | |
tree | a308fe7eacec2156c8212dff0892a3de925d5f9a /imports/codemirror/lib/util/simple-hint.js | |
parent | f766cc203f30ea43ae8b83cf4b65d45cc4435ee9 (diff) | |
parent | 33bc9d62b8e6694500bf14d5b18187bd99a520a3 (diff) | |
download | ninja-f060190a3bffd9a16718f2ce0499699103d46372.tar.gz |
Merge branch 'FileIO' of https://github.com/joseeight/ninja-internal into integration
Diffstat (limited to 'imports/codemirror/lib/util/simple-hint.js')
-rwxr-xr-x | imports/codemirror/lib/util/simple-hint.js | 66 |
1 files changed, 66 insertions, 0 deletions
diff --git a/imports/codemirror/lib/util/simple-hint.js b/imports/codemirror/lib/util/simple-hint.js new file mode 100755 index 00000000..b38f3892 --- /dev/null +++ b/imports/codemirror/lib/util/simple-hint.js | |||
@@ -0,0 +1,66 @@ | |||
1 | (function() { | ||
2 | CodeMirror.simpleHint = function(editor, getHints) { | ||
3 | // We want a single cursor position. | ||
4 | if (editor.somethingSelected()) return; | ||
5 | var result = getHints(editor); | ||
6 | if (!result || !result.list.length) return; | ||
7 | var completions = result.list; | ||
8 | function insert(str) { | ||
9 | editor.replaceRange(str, result.from, result.to); | ||
10 | } | ||
11 | // When there is only one completion, use it directly. | ||
12 | if (completions.length == 1) {insert(completions[0]); return true;} | ||
13 | |||
14 | // Build the select widget | ||
15 | var complete = document.createElement("div"); | ||
16 | complete.className = "CodeMirror-completions"; | ||
17 | var sel = complete.appendChild(document.createElement("select")); | ||
18 | // Opera doesn't move the selection when pressing up/down in a | ||
19 | // multi-select, but it does properly support the size property on | ||
20 | // single-selects, so no multi-select is necessary. | ||
21 | if (!window.opera) sel.multiple = true; | ||
22 | for (var i = 0; i < completions.length; ++i) { | ||
23 | var opt = sel.appendChild(document.createElement("option")); | ||
24 | opt.appendChild(document.createTextNode(completions[i])); | ||
25 | } | ||
26 | sel.firstChild.selected = true; | ||
27 | sel.size = Math.min(10, completions.length); | ||
28 | var pos = editor.cursorCoords(); | ||
29 | complete.style.left = pos.x + "px"; | ||
30 | complete.style.top = pos.yBot + "px"; | ||
31 | document.body.appendChild(complete); | ||
32 | // Hack to hide the scrollbar. | ||
33 | if (completions.length <= 10) | ||
34 | complete.style.width = (sel.clientWidth - 1) + "px"; | ||
35 | |||
36 | var done = false; | ||
37 | function close() { | ||
38 | if (done) return; | ||
39 | done = true; | ||
40 | complete.parentNode.removeChild(complete); | ||
41 | } | ||
42 | function pick() { | ||
43 | insert(completions[sel.selectedIndex]); | ||
44 | close(); | ||
45 | setTimeout(function(){editor.focus();}, 50); | ||
46 | } | ||
47 | CodeMirror.connect(sel, "blur", close); | ||
48 | CodeMirror.connect(sel, "keydown", function(event) { | ||
49 | var code = event.keyCode; | ||
50 | // Enter | ||
51 | if (code == 13) {CodeMirror.e_stop(event); pick();} | ||
52 | // Escape | ||
53 | else if (code == 27) {CodeMirror.e_stop(event); close(); editor.focus();} | ||
54 | else if (code != 38 && code != 40) { | ||
55 | close(); editor.focus(); | ||
56 | setTimeout(function(){CodeMirror.simpleHint(editor, getHints);}, 50); | ||
57 | } | ||
58 | }); | ||
59 | CodeMirror.connect(sel, "dblclick", pick); | ||
60 | |||
61 | sel.focus(); | ||
62 | // Opera sometimes ignores focusing a freshly created node | ||
63 | if (window.opera) setTimeout(function(){if (!done) sel.focus();}, 100); | ||
64 | return true; | ||
65 | }; | ||
66 | })(); | ||