diff options
author | Ananya Sen | 2012-04-13 16:51:50 -0700 |
---|---|---|
committer | Ananya Sen | 2012-04-13 16:51:50 -0700 |
commit | c2ec390d42945d2df1aed3f2b7ff3d1aa722fce8 (patch) | |
tree | caff16a00963bbaef55830b406d7da212f4f74d7 /index.html | |
parent | 6ffda1a7ebe18adb518eb24a612df22305b050a6 (diff) | |
download | ninja-c2ec390d42945d2df1aed3f2b7ff3d1aa722fce8.tar.gz |
- code editor view options bar
- Checkbox for user to toggle between manually triggered autocomplete and automatic autocomplete
- font zoom hottext
Signed-off-by: Ananya Sen <Ananya.Sen@motorola.com>
Diffstat (limited to 'index.html')
-rwxr-xr-x | index.html | 10 |
1 files changed, 10 insertions, 0 deletions
@@ -22,6 +22,16 @@ | |||
22 | <link href='http://fonts.googleapis.com/css?family=Droid+Sans:400,700|Droid+Sans+Mono' rel='stylesheet' type='text/css'> | 22 | <link href='http://fonts.googleapis.com/css?family=Droid+Sans:400,700|Droid+Sans+Mono' rel='stylesheet' type='text/css'> |
23 | <link href="imports/codemirror/lib/codemirror.css" rel="stylesheet" type="text/css"/> | 23 | <link href="imports/codemirror/lib/codemirror.css" rel="stylesheet" type="text/css"/> |
24 | <link rel="stylesheet" href="imports/codemirror/lib/util/simple-hint.css"> | 24 | <link rel="stylesheet" href="imports/codemirror/lib/util/simple-hint.css"> |
25 | <link rel="stylesheet" href="imports/codemirror/theme/neat.css"> | ||
26 | <link rel="stylesheet" href="imports/codemirror/theme/elegant.css"> | ||
27 | <link rel="stylesheet" href="imports/codemirror/theme/night.css"> | ||
28 | <link rel="stylesheet" href="imports/codemirror/theme/monokai.css"> | ||
29 | <link rel="stylesheet" href="imports/codemirror/theme/cobalt.css"> | ||
30 | <link rel="stylesheet" href="imports/codemirror/theme/eclipse.css"> | ||
31 | <link rel="stylesheet" href="imports/codemirror/theme/rubyblue.css"> | ||
32 | <link rel="stylesheet" href="imports/codemirror/theme/lesser-dark.css"> | ||
33 | <link rel="stylesheet" href="imports/codemirror/theme/xq-dark.css"> | ||
34 | |||
25 | 35 | ||
26 | <style type="text/css"> | 36 | <style type="text/css"> |
27 | html, body | 37 | html, body |