mdbe 0.1.0

Sign up to get free protection for your applications and to get access to all the features.
Files changed (688) hide show
  1. checksums.yaml +15 -0
  2. data/LICENSE.txt +21 -0
  3. data/README.md +53 -0
  4. data/app.rb +182 -0
  5. data/bin/mdbe +5 -0
  6. data/config.ru +2 -0
  7. data/environment.rb +8 -0
  8. data/lib/mdbe.rb +39 -0
  9. data/lib/mdbe/action_controller_debug_patch.rb +12 -0
  10. data/lib/mdbe/code_evaluation.rb +46 -0
  11. data/lib/mdbe/database_views.rb +24 -0
  12. data/lib/mdbe/database_views/abstract_dictionary.rb +69 -0
  13. data/lib/mdbe/database_views/abstract_exception.rb +25 -0
  14. data/lib/mdbe/database_views/array.rb +28 -0
  15. data/lib/mdbe/database_views/boolean.rb +12 -0
  16. data/lib/mdbe/database_views/class.rb +46 -0
  17. data/lib/mdbe/database_views/exception.rb +3 -0
  18. data/lib/mdbe/database_views/execblock.rb +5 -0
  19. data/lib/mdbe/database_views/fixnum.rb +5 -0
  20. data/lib/mdbe/database_views/float.rb +5 -0
  21. data/lib/mdbe/database_views/globals.rb +2 -0
  22. data/lib/mdbe/database_views/gsnmethod.rb +29 -0
  23. data/lib/mdbe/database_views/hash.rb +5 -0
  24. data/lib/mdbe/database_views/maglev_record.rb +42 -0
  25. data/lib/mdbe/database_views/module.rb +103 -0
  26. data/lib/mdbe/database_views/nilclass.rb +5 -0
  27. data/lib/mdbe/database_views/object.rb +80 -0
  28. data/lib/mdbe/database_views/proc.rb +3 -0
  29. data/lib/mdbe/database_views/repository.rb +3 -0
  30. data/lib/mdbe/database_views/ruby_workspace.rb +5 -0
  31. data/lib/mdbe/database_views/smalltalk_classes.rb +34 -0
  32. data/lib/mdbe/database_views/smalltalk_classes.st +60 -0
  33. data/lib/mdbe/database_views/string.rb +31 -0
  34. data/lib/mdbe/database_views/symbol.rb +32 -0
  35. data/lib/mdbe/database_views/system.rb +61 -0
  36. data/lib/mdbe/database_views/thread.rb +101 -0
  37. data/lib/mdbe/debug_server.rb +22 -0
  38. data/lib/mdbe/halt.rb +42 -0
  39. data/lib/mdbe/ruby_workspace.rb +29 -0
  40. data/lib/mdbe/version.rb +3 -0
  41. data/lib/tasks/maglev-database-explorer_tasks.rake +4 -0
  42. data/public/LICENSE +35 -0
  43. data/public/amber/CHANGELOG +65 -0
  44. data/public/amber/LICENSE +22 -0
  45. data/public/amber/Makefile +53 -0
  46. data/public/amber/README.md +30 -0
  47. data/public/amber/bin/amber +3 -0
  48. data/public/amber/bin/amberc +352 -0
  49. data/public/amber/bin/nodecompile.js +33 -0
  50. data/public/amber/bin/server +3 -0
  51. data/public/amber/bin/server.bat +3 -0
  52. data/public/amber/css/amber-normalize.css +468 -0
  53. data/public/amber/css/amber-normalize.less +501 -0
  54. data/public/amber/css/amber.css +539 -0
  55. data/public/amber/css/documentation.css +84 -0
  56. data/public/amber/css/profstef.css +75 -0
  57. data/public/amber/css/style.css +313 -0
  58. data/public/amber/documentation.html +37 -0
  59. data/public/amber/examples/Makefile +23 -0
  60. data/public/amber/examples/README +4 -0
  61. data/public/amber/examples/android/helloamber/AndroidManifest.xml +19 -0
  62. data/public/amber/examples/android/helloamber/HelloAmber.st +13 -0
  63. data/public/amber/examples/android/helloamber/Makefile +56 -0
  64. data/public/amber/examples/android/helloamber/README.md +80 -0
  65. data/public/amber/examples/android/helloamber/ant.properties +17 -0
  66. data/public/amber/examples/android/helloamber/assets/index.html +15 -0
  67. data/public/amber/examples/android/helloamber/assets/jquery-1.7.2.min.js +4 -0
  68. data/public/amber/examples/android/helloamber/build.xml +83 -0
  69. data/public/amber/examples/android/helloamber/local.properties +10 -0
  70. data/public/amber/examples/android/helloamber/proguard-project.txt +20 -0
  71. data/public/amber/examples/android/helloamber/project.properties +14 -0
  72. data/public/amber/examples/android/helloamber/res/layout/main.xml +6 -0
  73. data/public/amber/examples/android/helloamber/res/values/strings.xml +4 -0
  74. data/public/amber/examples/android/helloamber/src/org/amberlang/android/helloamber/HelloAmber.java +59 -0
  75. data/public/amber/examples/myproject/index.html +16 -0
  76. data/public/amber/examples/nodejs/README +9 -0
  77. data/public/amber/examples/nodejs/benchfib/Benchfib.st +124 -0
  78. data/public/amber/examples/nodejs/benchfib/Makefile +8 -0
  79. data/public/amber/examples/nodejs/benchfib/benchfib +1 -0
  80. data/public/amber/examples/nodejs/hello/Hello.st +9 -0
  81. data/public/amber/examples/nodejs/hello/Makefile +8 -0
  82. data/public/amber/examples/nodejs/hello/README +13 -0
  83. data/public/amber/examples/nodejs/hello/hello +1 -0
  84. data/public/amber/examples/nodejs/meta/Makefile +8 -0
  85. data/public/amber/examples/nodejs/meta/MyScript.st +27 -0
  86. data/public/amber/examples/nodejs/meta/meta +1 -0
  87. data/public/amber/examples/nodejs/pystone/Makefile +8 -0
  88. data/public/amber/examples/nodejs/pystone/Pystone.st +306 -0
  89. data/public/amber/examples/nodejs/pystone/pystone +1 -0
  90. data/public/amber/examples/nodejs/trivialserver/Makefile +8 -0
  91. data/public/amber/examples/nodejs/trivialserver/TrivialServer.st +51 -0
  92. data/public/amber/examples/nodejs/trivialserver/trivial +1 -0
  93. data/public/amber/examples/presentation/esug2011/images/asterix.png +0 -0
  94. data/public/amber/examples/presentation/esug2011/images/background_box.png +0 -0
  95. data/public/amber/examples/presentation/esug2011/images/background_header.png +0 -0
  96. data/public/amber/examples/presentation/esug2011/images/balloon.jpg +0 -0
  97. data/public/amber/examples/presentation/esug2011/images/balloon_header.png +0 -0
  98. data/public/amber/examples/presentation/esug2011/images/devices.jpg +0 -0
  99. data/public/amber/examples/presentation/esug2011/images/enyo.png +0 -0
  100. data/public/amber/examples/presentation/esug2011/images/ide_star_wars.png +0 -0
  101. data/public/amber/examples/presentation/esug2011/images/nodejs.png +0 -0
  102. data/public/amber/examples/presentation/esug2011/images/terminal.png +0 -0
  103. data/public/amber/examples/presentation/esug2011/images/webos.png +0 -0
  104. data/public/amber/examples/presentation/fosdem2012/images/amber.png +0 -0
  105. data/public/amber/examples/presentation/fosdem2012/images/ambrhino.jpg +0 -0
  106. data/public/amber/examples/presentation/fosdem2012/images/nodejs.png +0 -0
  107. data/public/amber/examples/presentation/fosdem2012/images/pharo.png +0 -0
  108. data/public/amber/examples/presentation/fosdem2012/images/php.gif +0 -0
  109. data/public/amber/examples/presentation/fosdem2012/images/rails.png +0 -0
  110. data/public/amber/examples/presentation/fosdem2012/lib/booklet/images/arrow-next.png +0 -0
  111. data/public/amber/examples/presentation/fosdem2012/lib/booklet/images/arrow-prev.png +0 -0
  112. data/public/amber/examples/presentation/fosdem2012/lib/booklet/images/closedhand.cur +0 -0
  113. data/public/amber/examples/presentation/fosdem2012/lib/booklet/images/openhand.cur +0 -0
  114. data/public/amber/examples/presentation/fosdem2012/lib/booklet/images/shadow-top-back.png +0 -0
  115. data/public/amber/examples/presentation/fosdem2012/lib/booklet/images/shadow-top-forward.png +0 -0
  116. data/public/amber/examples/presentation/fosdem2012/lib/booklet/images/shadow.png +0 -0
  117. data/public/amber/examples/presentation/fosdem2012/lib/booklet/jquery.booklet.1.2.0.css +100 -0
  118. data/public/amber/examples/presentation/fosdem2012/lib/booklet/jquery.booklet.1.2.0.js +1232 -0
  119. data/public/amber/examples/presentation/fosdem2012/lib/booklet/jquery.booklet.1.2.0.min.js +13 -0
  120. data/public/amber/examples/presentation/fosdem2012/lib/booklet/jquery.easing.1.3.js +38 -0
  121. data/public/amber/examples/presentation/index.html +17 -0
  122. data/public/amber/examples/presentation/js/Presentation.deploy.js +1922 -0
  123. data/public/amber/examples/presentation/js/Presentation.js +2712 -0
  124. data/public/amber/examples/presentation/st/Presentation.st +1996 -0
  125. data/public/amber/examples/trysmalltalk/index.html +18 -0
  126. data/public/amber/examples/trysmalltalk/js/TrySmalltalk.deploy.js +837 -0
  127. data/public/amber/examples/trysmalltalk/js/TrySmalltalk.js +1206 -0
  128. data/public/amber/examples/trysmalltalk/st/TrySmalltalk.st +964 -0
  129. data/public/amber/examples/twitterwall/css/twitterwall.css +19 -0
  130. data/public/amber/examples/twitterwall/index.html +35 -0
  131. data/public/amber/examples/twitterwall/js/TwitterWall.deploy.js +116 -0
  132. data/public/amber/examples/twitterwall/js/TwitterWall.js +146 -0
  133. data/public/amber/examples/twitterwall/st/TwitterWall.st +91 -0
  134. data/public/amber/examples/webos/README +11 -0
  135. data/public/amber/examples/webos/eris/DuckQwaq.wav +0 -0
  136. data/public/amber/examples/webos/eris/EnyoAmber.st +36 -0
  137. data/public/amber/examples/webos/eris/Eris.css +0 -0
  138. data/public/amber/examples/webos/eris/Eris.st +86 -0
  139. data/public/amber/examples/webos/eris/Makefile +37 -0
  140. data/public/amber/examples/webos/eris/README +3 -0
  141. data/public/amber/examples/webos/eris/appinfo.json +10 -0
  142. data/public/amber/examples/webos/eris/index.html +12 -0
  143. data/public/amber/examples/webos/helloamber/EnyoAmber.st +36 -0
  144. data/public/amber/examples/webos/helloamber/HelloAmber.st +86 -0
  145. data/public/amber/examples/webos/helloamber/Makefile +38 -0
  146. data/public/amber/examples/webos/helloamber/README +5 -0
  147. data/public/amber/examples/webos/helloamber/appinfo.json +10 -0
  148. data/public/amber/examples/webos/helloamber/index.html +12 -0
  149. data/public/amber/favicon.ico +0 -0
  150. data/public/amber/images/amber.png +0 -0
  151. data/public/amber/images/amber.svg +706 -0
  152. data/public/amber/images/amber_small.png +0 -0
  153. data/public/amber/images/off.amber.png +0 -0
  154. data/public/amber/images/off.png +0 -0
  155. data/public/amber/images/offHover.amber.png +0 -0
  156. data/public/amber/images/offHover.png +0 -0
  157. data/public/amber/images/presentation.png +0 -0
  158. data/public/amber/images/profstef.png +0 -0
  159. data/public/amber/images/sprite.amber.png +0 -0
  160. data/public/amber/images/sprite.png +0 -0
  161. data/public/amber/images/tinylogo.amber.png +0 -0
  162. data/public/amber/images/tinylogo.png +0 -0
  163. data/public/amber/images/twitterwall.png +0 -0
  164. data/public/amber/index.html +55 -0
  165. data/public/amber/js/Additional-Examples.deploy.js +15 -0
  166. data/public/amber/js/Additional-Examples.js +21 -0
  167. data/public/amber/js/Benchfib.deploy.js +132 -0
  168. data/public/amber/js/Benchfib.js +167 -0
  169. data/public/amber/js/Canvas.deploy.js +2446 -0
  170. data/public/amber/js/Canvas.js +3547 -0
  171. data/public/amber/js/Compiler-Tests.deploy.js +97 -0
  172. data/public/amber/js/Compiler-Tests.js +137 -0
  173. data/public/amber/js/Compiler.deploy.js +1877 -0
  174. data/public/amber/js/Compiler.js +2622 -0
  175. data/public/amber/js/Documentation.deploy.js +961 -0
  176. data/public/amber/js/Documentation.js +1376 -0
  177. data/public/amber/js/Examples.deploy.js +53 -0
  178. data/public/amber/js/Examples.js +73 -0
  179. data/public/amber/js/IDE.deploy.js +3557 -0
  180. data/public/amber/js/IDE.js +5002 -0
  181. data/public/amber/js/Kernel-Announcements.deploy.js +107 -0
  182. data/public/amber/js/Kernel-Announcements.js +152 -0
  183. data/public/amber/js/Kernel-Classes.deploy.js +774 -0
  184. data/public/amber/js/Kernel-Classes.js +1095 -0
  185. data/public/amber/js/Kernel-Collections.deploy.js +3121 -0
  186. data/public/amber/js/Kernel-Collections.js +4427 -0
  187. data/public/amber/js/Kernel-Exceptions.deploy.js +244 -0
  188. data/public/amber/js/Kernel-Exceptions.js +349 -0
  189. data/public/amber/js/Kernel-Methods.deploy.js +573 -0
  190. data/public/amber/js/Kernel-Methods.js +807 -0
  191. data/public/amber/js/Kernel-Objects.deploy.js +2877 -0
  192. data/public/amber/js/Kernel-Objects.js +4107 -0
  193. data/public/amber/js/Kernel-Tests.deploy.js +1513 -0
  194. data/public/amber/js/Kernel-Tests.js +2053 -0
  195. data/public/amber/js/Kernel-Transcript.deploy.js +142 -0
  196. data/public/amber/js/Kernel-Transcript.js +202 -0
  197. data/public/amber/js/Maglev-Core.deploy.js +2996 -0
  198. data/public/amber/js/Maglev-Core.js +4246 -0
  199. data/public/amber/js/Maglev-Database-Explorer.deploy.js +4476 -0
  200. data/public/amber/js/Maglev-Database-Explorer.js +6232 -0
  201. data/public/amber/js/Maglev-Vendor.deploy.js +350 -0
  202. data/public/amber/js/Maglev-Vendor.js +465 -0
  203. data/public/amber/js/README.md +5 -0
  204. data/public/amber/js/SUnit.deploy.js +351 -0
  205. data/public/amber/js/SUnit.js +501 -0
  206. data/public/amber/js/amber.js +273 -0
  207. data/public/amber/js/boot.js +602 -0
  208. data/public/amber/js/compat.js +22 -0
  209. data/public/amber/js/init.js +9 -0
  210. data/public/amber/js/lib/CodeMirror/LICENSE +19 -0
  211. data/public/amber/js/lib/CodeMirror/active-line.js +39 -0
  212. data/public/amber/js/lib/CodeMirror/amber.css +21 -0
  213. data/public/amber/js/lib/CodeMirror/codemirror.css +67 -0
  214. data/public/amber/js/lib/CodeMirror/codemirror.js +2144 -0
  215. data/public/amber/js/lib/CodeMirror/smalltalk.js +134 -0
  216. data/public/amber/js/lib/jQuery/jquery-1.4.4.min.js +167 -0
  217. data/public/amber/js/lib/jQuery/jquery-1.6.4.min.js +4 -0
  218. data/public/amber/js/lib/jQuery/jquery-ui-1.8.16.custom.min.js +791 -0
  219. data/public/amber/js/lib/jQuery/jquery.textarea.js +267 -0
  220. data/public/amber/js/lib/peg-0.6.2.min.js +2 -0
  221. data/public/amber/js/lib/showdown.js +419 -0
  222. data/public/amber/js/parser.js +4222 -0
  223. data/public/amber/js/parser.pegjs +223 -0
  224. data/public/amber/learn.html +40 -0
  225. data/public/amber/repl/Makefile +8 -0
  226. data/public/amber/repl/REPL.js +124 -0
  227. data/public/amber/repl/REPL.st +56 -0
  228. data/public/amber/repl/amber.js +18085 -0
  229. data/public/amber/server/FileServer.st +576 -0
  230. data/public/amber/server/Makefile +8 -0
  231. data/public/amber/server/server.js +13049 -0
  232. data/public/amber/st/Benchfib.js +297 -0
  233. data/public/amber/st/Benchfib.st +124 -0
  234. data/public/amber/st/Canvas.st +968 -0
  235. data/public/amber/st/Compiler-Tests.st +471 -0
  236. data/public/amber/st/Compiler.st +1445 -0
  237. data/public/amber/st/Documentation.st +758 -0
  238. data/public/amber/st/Examples.js +100 -0
  239. data/public/amber/st/Examples.st +38 -0
  240. data/public/amber/st/IDE.st +2404 -0
  241. data/public/amber/st/Kernel-Announcements.st +61 -0
  242. data/public/amber/st/Kernel-Classes.st +462 -0
  243. data/public/amber/st/Kernel-Collections.st +1611 -0
  244. data/public/amber/st/Kernel-Exceptions.st +124 -0
  245. data/public/amber/st/Kernel-Methods.st +291 -0
  246. data/public/amber/st/Kernel-Objects.st +1587 -0
  247. data/public/amber/st/Kernel-Tests.st +953 -0
  248. data/public/amber/st/Kernel-Transcript.st +70 -0
  249. data/public/amber/st/Maglev-Core.st +1694 -0
  250. data/public/amber/st/Maglev-Database-Explorer.st +3148 -0
  251. data/public/amber/st/Maglev-Vendor.st +151 -0
  252. data/public/amber/st/Makefile +104 -0
  253. data/public/amber/st/README.md +4 -0
  254. data/public/amber/st/SUnit.st +172 -0
  255. data/public/css/bootstrap-combined.no-icons.min.css +731 -0
  256. data/public/css/bootstrap.css +6811 -0
  257. data/public/css/images/animated-overlay.gif +0 -0
  258. data/public/css/images/ui-bg_diagonals-thick_18_b81900_40x40.png +0 -0
  259. data/public/css/images/ui-bg_diagonals-thick_20_666666_40x40.png +0 -0
  260. data/public/css/images/ui-bg_flat_10_000000_40x100.png +0 -0
  261. data/public/css/images/ui-bg_glass_100_f6f6f6_1x400.png +0 -0
  262. data/public/css/images/ui-bg_glass_100_fdf5ce_1x400.png +0 -0
  263. data/public/css/images/ui-bg_glass_65_ffffff_1x400.png +0 -0
  264. data/public/css/images/ui-bg_gloss-wave_35_f6a828_500x100.png +0 -0
  265. data/public/css/images/ui-bg_highlight-soft_100_eeeeee_1x100.png +0 -0
  266. data/public/css/images/ui-bg_highlight-soft_75_ffe45c_1x100.png +0 -0
  267. data/public/css/images/ui-icons_222222_256x240.png +0 -0
  268. data/public/css/images/ui-icons_228ef1_256x240.png +0 -0
  269. data/public/css/images/ui-icons_ef8c08_256x240.png +0 -0
  270. data/public/css/images/ui-icons_ffd27a_256x240.png +0 -0
  271. data/public/css/images/ui-icons_ffffff_256x240.png +0 -0
  272. data/public/css/jquery-ui.min.css +5 -0
  273. data/public/css/smalltalk_code.css +42 -0
  274. data/public/css/style.css +210 -0
  275. data/public/images/bg_tile.png +0 -0
  276. data/public/images/maglev-logo.gif +0 -0
  277. data/public/images/mchammer.gif +0 -0
  278. data/public/images/rails_tiny.png +0 -0
  279. data/public/images/ruby.png +0 -0
  280. data/public/images/ruby_smalltalk_bridge.png +0 -0
  281. data/public/images/smalltalk.png +0 -0
  282. data/public/img/glyphicons-halflings.png +0 -0
  283. data/public/index.html +118 -0
  284. data/public/libs/bootstrap.min.js +7 -0
  285. data/public/libs/codemirror/CONTRIBUTING.md +72 -0
  286. data/public/libs/codemirror/LICENSE +23 -0
  287. data/public/libs/codemirror/README.md +11 -0
  288. data/public/libs/codemirror/addon/dialog/dialog.css +32 -0
  289. data/public/libs/codemirror/addon/dialog/dialog.js +80 -0
  290. data/public/libs/codemirror/addon/display/placeholder.js +54 -0
  291. data/public/libs/codemirror/addon/edit/closebrackets.js +54 -0
  292. data/public/libs/codemirror/addon/edit/closetag.js +86 -0
  293. data/public/libs/codemirror/addon/edit/continuecomment.js +44 -0
  294. data/public/libs/codemirror/addon/edit/continuelist.js +25 -0
  295. data/public/libs/codemirror/addon/edit/matchbrackets.js +82 -0
  296. data/public/libs/codemirror/addon/fold/brace-fold.js +31 -0
  297. data/public/libs/codemirror/addon/fold/foldcode.js +32 -0
  298. data/public/libs/codemirror/addon/fold/indent-fold.js +11 -0
  299. data/public/libs/codemirror/addon/fold/xml-fold.js +64 -0
  300. data/public/libs/codemirror/addon/hint/html-hint.js +582 -0
  301. data/public/libs/codemirror/addon/hint/javascript-hint.js +142 -0
  302. data/public/libs/codemirror/addon/hint/pig-hint.js +117 -0
  303. data/public/libs/codemirror/addon/hint/python-hint.js +93 -0
  304. data/public/libs/codemirror/addon/hint/show-hint.css +38 -0
  305. data/public/libs/codemirror/addon/hint/show-hint.js +180 -0
  306. data/public/libs/codemirror/addon/hint/xml-hint.js +118 -0
  307. data/public/libs/codemirror/addon/lint/javascript-lint.js +127 -0
  308. data/public/libs/codemirror/addon/lint/json-lint.js +14 -0
  309. data/public/libs/codemirror/addon/lint/lint.css +96 -0
  310. data/public/libs/codemirror/addon/lint/lint.js +197 -0
  311. data/public/libs/codemirror/addon/mode/loadmode.js +51 -0
  312. data/public/libs/codemirror/addon/mode/multiplex.js +95 -0
  313. data/public/libs/codemirror/addon/mode/overlay.js +59 -0
  314. data/public/libs/codemirror/addon/runmode/colorize.js +29 -0
  315. data/public/libs/codemirror/addon/runmode/runmode-standalone.js +130 -0
  316. data/public/libs/codemirror/addon/runmode/runmode.js +52 -0
  317. data/public/libs/codemirror/addon/runmode/runmode.node.js +89 -0
  318. data/public/libs/codemirror/addon/search/match-highlighter.js +60 -0
  319. data/public/libs/codemirror/addon/search/search.js +131 -0
  320. data/public/libs/codemirror/addon/search/searchcursor.js +133 -0
  321. data/public/libs/codemirror/addon/selection/active-line.js +39 -0
  322. data/public/libs/codemirror/addon/selection/mark-selection.js +34 -0
  323. data/public/libs/codemirror/bin/compress +91 -0
  324. data/public/libs/codemirror/bin/lint +11 -0
  325. data/public/libs/codemirror/demo/activeline.html +70 -0
  326. data/public/libs/codemirror/demo/bidi.html +61 -0
  327. data/public/libs/codemirror/demo/btree.html +87 -0
  328. data/public/libs/codemirror/demo/buffers.html +98 -0
  329. data/public/libs/codemirror/demo/changemode.html +50 -0
  330. data/public/libs/codemirror/demo/closebrackets.html +63 -0
  331. data/public/libs/codemirror/demo/closetag.html +37 -0
  332. data/public/libs/codemirror/demo/complete.html +70 -0
  333. data/public/libs/codemirror/demo/emacs.html +60 -0
  334. data/public/libs/codemirror/demo/folding.html +69 -0
  335. data/public/libs/codemirror/demo/fullscreen.html +147 -0
  336. data/public/libs/codemirror/demo/html5complete.html +92 -0
  337. data/public/libs/codemirror/demo/indentwrap.html +49 -0
  338. data/public/libs/codemirror/demo/lint.html +90 -0
  339. data/public/libs/codemirror/demo/loadmode.html +40 -0
  340. data/public/libs/codemirror/demo/marker.html +59 -0
  341. data/public/libs/codemirror/demo/markselection.html +36 -0
  342. data/public/libs/codemirror/demo/matchhighlighter.html +38 -0
  343. data/public/libs/codemirror/demo/multiplex.html +60 -0
  344. data/public/libs/codemirror/demo/mustache.html +59 -0
  345. data/public/libs/codemirror/demo/placeholder.html +36 -0
  346. data/public/libs/codemirror/demo/preview.html +76 -0
  347. data/public/libs/codemirror/demo/resize.html +49 -0
  348. data/public/libs/codemirror/demo/runmode.html +50 -0
  349. data/public/libs/codemirror/demo/search.html +85 -0
  350. data/public/libs/codemirror/demo/spanaffectswrapping_shim.html +73 -0
  351. data/public/libs/codemirror/demo/theme.html +89 -0
  352. data/public/libs/codemirror/demo/variableheight.html +52 -0
  353. data/public/libs/codemirror/demo/vim.html +65 -0
  354. data/public/libs/codemirror/demo/visibletabs.html +53 -0
  355. data/public/libs/codemirror/demo/widget.html +74 -0
  356. data/public/libs/codemirror/demo/xmlcomplete.html +81 -0
  357. data/public/libs/codemirror/index.html +487 -0
  358. data/public/libs/codemirror/keymap/emacs.js +30 -0
  359. data/public/libs/codemirror/keymap/vim.js +3044 -0
  360. data/public/libs/codemirror/lib/codemirror.css +253 -0
  361. data/public/libs/codemirror/lib/codemirror.js +5585 -0
  362. data/public/libs/codemirror/mode/apl/apl.js +160 -0
  363. data/public/libs/codemirror/mode/apl/index.html +61 -0
  364. data/public/libs/codemirror/mode/asterisk/asterisk.js +183 -0
  365. data/public/libs/codemirror/mode/asterisk/index.html +142 -0
  366. data/public/libs/codemirror/mode/clike/clike.js +302 -0
  367. data/public/libs/codemirror/mode/clike/index.html +103 -0
  368. data/public/libs/codemirror/mode/clike/scala.html +767 -0
  369. data/public/libs/codemirror/mode/clojure/clojure.js +222 -0
  370. data/public/libs/codemirror/mode/clojure/index.html +76 -0
  371. data/public/libs/codemirror/mode/coffeescript/LICENSE +22 -0
  372. data/public/libs/codemirror/mode/coffeescript/coffeescript.js +346 -0
  373. data/public/libs/codemirror/mode/coffeescript/index.html +728 -0
  374. data/public/libs/codemirror/mode/commonlisp/commonlisp.js +101 -0
  375. data/public/libs/codemirror/mode/commonlisp/index.html +165 -0
  376. data/public/libs/codemirror/mode/css/css.js +567 -0
  377. data/public/libs/codemirror/mode/css/index.html +58 -0
  378. data/public/libs/codemirror/mode/css/scss.html +145 -0
  379. data/public/libs/codemirror/mode/css/scss_test.js +80 -0
  380. data/public/libs/codemirror/mode/css/test.js +113 -0
  381. data/public/libs/codemirror/mode/d/d.js +205 -0
  382. data/public/libs/codemirror/mode/d/index.html +262 -0
  383. data/public/libs/codemirror/mode/diff/diff.js +32 -0
  384. data/public/libs/codemirror/mode/diff/index.html +105 -0
  385. data/public/libs/codemirror/mode/ecl/ecl.js +192 -0
  386. data/public/libs/codemirror/mode/ecl/index.html +39 -0
  387. data/public/libs/codemirror/mode/erlang/erlang.js +463 -0
  388. data/public/libs/codemirror/mode/erlang/index.html +64 -0
  389. data/public/libs/codemirror/mode/gas/gas.js +326 -0
  390. data/public/libs/codemirror/mode/gas/index.html +57 -0
  391. data/public/libs/codemirror/mode/gfm/gfm.js +96 -0
  392. data/public/libs/codemirror/mode/gfm/index.html +74 -0
  393. data/public/libs/codemirror/mode/gfm/test.js +112 -0
  394. data/public/libs/codemirror/mode/go/go.js +165 -0
  395. data/public/libs/codemirror/mode/go/index.html +74 -0
  396. data/public/libs/codemirror/mode/groovy/groovy.js +210 -0
  397. data/public/libs/codemirror/mode/groovy/index.html +73 -0
  398. data/public/libs/codemirror/mode/haskell/haskell.js +242 -0
  399. data/public/libs/codemirror/mode/haskell/index.html +62 -0
  400. data/public/libs/codemirror/mode/haxe/haxe.js +429 -0
  401. data/public/libs/codemirror/mode/haxe/index.html +90 -0
  402. data/public/libs/codemirror/mode/htmlembedded/htmlembedded.js +73 -0
  403. data/public/libs/codemirror/mode/htmlembedded/index.html +49 -0
  404. data/public/libs/codemirror/mode/htmlmixed/htmlmixed.js +104 -0
  405. data/public/libs/codemirror/mode/htmlmixed/index.html +73 -0
  406. data/public/libs/codemirror/mode/http/http.js +98 -0
  407. data/public/libs/codemirror/mode/http/index.html +32 -0
  408. data/public/libs/codemirror/mode/javascript/index.html +92 -0
  409. data/public/libs/codemirror/mode/javascript/javascript.js +467 -0
  410. data/public/libs/codemirror/mode/javascript/typescript.html +48 -0
  411. data/public/libs/codemirror/mode/jinja2/index.html +38 -0
  412. data/public/libs/codemirror/mode/jinja2/jinja2.js +42 -0
  413. data/public/libs/codemirror/mode/less/index.html +741 -0
  414. data/public/libs/codemirror/mode/less/less.js +266 -0
  415. data/public/libs/codemirror/mode/livescript/LICENSE +23 -0
  416. data/public/libs/codemirror/mode/livescript/index.html +446 -0
  417. data/public/libs/codemirror/mode/livescript/livescript.js +267 -0
  418. data/public/libs/codemirror/mode/livescript/livescript.ls +266 -0
  419. data/public/libs/codemirror/mode/lua/index.html +74 -0
  420. data/public/libs/codemirror/mode/lua/lua.js +140 -0
  421. data/public/libs/codemirror/mode/markdown/index.html +344 -0
  422. data/public/libs/codemirror/mode/markdown/markdown.js +526 -0
  423. data/public/libs/codemirror/mode/markdown/test.js +636 -0
  424. data/public/libs/codemirror/mode/meta.js +75 -0
  425. data/public/libs/codemirror/mode/mirc/index.html +149 -0
  426. data/public/libs/codemirror/mode/mirc/mirc.js +177 -0
  427. data/public/libs/codemirror/mode/ntriples/index.html +33 -0
  428. data/public/libs/codemirror/mode/ntriples/ntriples.js +170 -0
  429. data/public/libs/codemirror/mode/ocaml/index.html +131 -0
  430. data/public/libs/codemirror/mode/ocaml/ocaml.js +113 -0
  431. data/public/libs/codemirror/mode/pascal/LICENSE +7 -0
  432. data/public/libs/codemirror/mode/pascal/index.html +48 -0
  433. data/public/libs/codemirror/mode/pascal/pascal.js +94 -0
  434. data/public/libs/codemirror/mode/perl/LICENSE +19 -0
  435. data/public/libs/codemirror/mode/perl/index.html +62 -0
  436. data/public/libs/codemirror/mode/perl/perl.js +816 -0
  437. data/public/libs/codemirror/mode/php/index.html +51 -0
  438. data/public/libs/codemirror/mode/php/php.js +129 -0
  439. data/public/libs/codemirror/mode/pig/index.html +42 -0
  440. data/public/libs/codemirror/mode/pig/pig.js +171 -0
  441. data/public/libs/codemirror/mode/properties/index.html +41 -0
  442. data/public/libs/codemirror/mode/properties/properties.js +63 -0
  443. data/public/libs/codemirror/mode/python/LICENSE.txt +21 -0
  444. data/public/libs/codemirror/mode/python/index.html +135 -0
  445. data/public/libs/codemirror/mode/python/python.js +340 -0
  446. data/public/libs/codemirror/mode/q/index.html +131 -0
  447. data/public/libs/codemirror/mode/q/q.js +124 -0
  448. data/public/libs/codemirror/mode/r/LICENSE +24 -0
  449. data/public/libs/codemirror/mode/r/index.html +74 -0
  450. data/public/libs/codemirror/mode/r/r.js +141 -0
  451. data/public/libs/codemirror/mode/rpm/changes/changes.js +19 -0
  452. data/public/libs/codemirror/mode/rpm/changes/index.html +53 -0
  453. data/public/libs/codemirror/mode/rpm/spec/index.html +99 -0
  454. data/public/libs/codemirror/mode/rpm/spec/spec.css +5 -0
  455. data/public/libs/codemirror/mode/rpm/spec/spec.js +66 -0
  456. data/public/libs/codemirror/mode/rst/LICENSE.txt +21 -0
  457. data/public/libs/codemirror/mode/rst/index.html +524 -0
  458. data/public/libs/codemirror/mode/rst/rst.js +550 -0
  459. data/public/libs/codemirror/mode/ruby/LICENSE +24 -0
  460. data/public/libs/codemirror/mode/ruby/index.html +173 -0
  461. data/public/libs/codemirror/mode/ruby/ruby.js +197 -0
  462. data/public/libs/codemirror/mode/rust/index.html +48 -0
  463. data/public/libs/codemirror/mode/rust/rust.js +432 -0
  464. data/public/libs/codemirror/mode/sass/index.html +54 -0
  465. data/public/libs/codemirror/mode/sass/sass.js +349 -0
  466. data/public/libs/codemirror/mode/scheme/index.html +65 -0
  467. data/public/libs/codemirror/mode/scheme/scheme.js +230 -0
  468. data/public/libs/codemirror/mode/shell/index.html +51 -0
  469. data/public/libs/codemirror/mode/shell/shell.js +118 -0
  470. data/public/libs/codemirror/mode/sieve/LICENSE +19 -0
  471. data/public/libs/codemirror/mode/sieve/index.html +81 -0
  472. data/public/libs/codemirror/mode/sieve/sieve.js +183 -0
  473. data/public/libs/codemirror/mode/smalltalk/index.html +57 -0
  474. data/public/libs/codemirror/mode/smalltalk/smalltalk.js +141 -0
  475. data/public/libs/codemirror/mode/smarty/index.html +83 -0
  476. data/public/libs/codemirror/mode/smarty/smarty.js +148 -0
  477. data/public/libs/codemirror/mode/sparql/index.html +42 -0
  478. data/public/libs/codemirror/mode/sparql/sparql.js +143 -0
  479. data/public/libs/codemirror/mode/sql/index.html +68 -0
  480. data/public/libs/codemirror/mode/sql/sql.js +268 -0
  481. data/public/libs/codemirror/mode/stex/index.html +98 -0
  482. data/public/libs/codemirror/mode/stex/stex.js +246 -0
  483. data/public/libs/codemirror/mode/stex/test.js +117 -0
  484. data/public/libs/codemirror/mode/tcl/index.html +129 -0
  485. data/public/libs/codemirror/mode/tcl/tcl.js +131 -0
  486. data/public/libs/codemirror/mode/tiddlywiki/index.html +142 -0
  487. data/public/libs/codemirror/mode/tiddlywiki/tiddlywiki.css +14 -0
  488. data/public/libs/codemirror/mode/tiddlywiki/tiddlywiki.js +353 -0
  489. data/public/libs/codemirror/mode/tiki/index.html +81 -0
  490. data/public/libs/codemirror/mode/tiki/tiki.css +26 -0
  491. data/public/libs/codemirror/mode/tiki/tiki.js +308 -0
  492. data/public/libs/codemirror/mode/turtle/index.html +39 -0
  493. data/public/libs/codemirror/mode/turtle/turtle.js +145 -0
  494. data/public/libs/codemirror/mode/vb/LICENSE.txt +21 -0
  495. data/public/libs/codemirror/mode/vb/index.html +88 -0
  496. data/public/libs/codemirror/mode/vb/vb.js +259 -0
  497. data/public/libs/codemirror/mode/vbscript/index.html +42 -0
  498. data/public/libs/codemirror/mode/vbscript/vbscript.js +26 -0
  499. data/public/libs/codemirror/mode/velocity/index.html +103 -0
  500. data/public/libs/codemirror/mode/velocity/velocity.js +144 -0
  501. data/public/libs/codemirror/mode/verilog/index.html +121 -0
  502. data/public/libs/codemirror/mode/verilog/verilog.js +182 -0
  503. data/public/libs/codemirror/mode/xml/index.html +45 -0
  504. data/public/libs/codemirror/mode/xml/xml.js +328 -0
  505. data/public/libs/codemirror/mode/xquery/LICENSE +20 -0
  506. data/public/libs/codemirror/mode/xquery/index.html +221 -0
  507. data/public/libs/codemirror/mode/xquery/test.js +64 -0
  508. data/public/libs/codemirror/mode/xquery/xquery.js +450 -0
  509. data/public/libs/codemirror/mode/yaml/index.html +68 -0
  510. data/public/libs/codemirror/mode/yaml/yaml.js +95 -0
  511. data/public/libs/codemirror/mode/z80/index.html +39 -0
  512. data/public/libs/codemirror/mode/z80/z80.js +85 -0
  513. data/public/libs/codemirror/package.json +21 -0
  514. data/public/libs/codemirror/test/doc_test.js +329 -0
  515. data/public/libs/codemirror/test/driver.js +138 -0
  516. data/public/libs/codemirror/test/index.html +182 -0
  517. data/public/libs/codemirror/test/lint/acorn.js +1593 -0
  518. data/public/libs/codemirror/test/lint/lint.js +112 -0
  519. data/public/libs/codemirror/test/lint/parse-js.js +1372 -0
  520. data/public/libs/codemirror/test/lint/walk.js +216 -0
  521. data/public/libs/codemirror/test/mode_test.css +10 -0
  522. data/public/libs/codemirror/test/mode_test.js +192 -0
  523. data/public/libs/codemirror/test/phantom_driver.js +31 -0
  524. data/public/libs/codemirror/test/run.js +33 -0
  525. data/public/libs/codemirror/test/test.js +1400 -0
  526. data/public/libs/codemirror/test/vim_test.js +1688 -0
  527. data/public/libs/codemirror/theme/ambiance-mobile.css +5 -0
  528. data/public/libs/codemirror/theme/ambiance.css +75 -0
  529. data/public/libs/codemirror/theme/blackboard.css +25 -0
  530. data/public/libs/codemirror/theme/cobalt.css +18 -0
  531. data/public/libs/codemirror/theme/eclipse.css +25 -0
  532. data/public/libs/codemirror/theme/elegant.css +10 -0
  533. data/public/libs/codemirror/theme/erlang-dark.css +21 -0
  534. data/public/libs/codemirror/theme/lesser-dark.css +44 -0
  535. data/public/libs/codemirror/theme/midnight.css +52 -0
  536. data/public/libs/codemirror/theme/monokai.css +28 -0
  537. data/public/libs/codemirror/theme/neat.css +9 -0
  538. data/public/libs/codemirror/theme/night.css +21 -0
  539. data/public/libs/codemirror/theme/rubyblue.css +21 -0
  540. data/public/libs/codemirror/theme/solarized.css +207 -0
  541. data/public/libs/codemirror/theme/twilight.css +26 -0
  542. data/public/libs/codemirror/theme/vibrant-ink.css +27 -0
  543. data/public/libs/codemirror/theme/xq-dark.css +46 -0
  544. data/public/libs/codemirror/theme/xq-light.css +43 -0
  545. data/public/libs/font-awesome/css/font-awesome-ie7.css +983 -0
  546. data/public/libs/font-awesome/css/font-awesome-ie7.min.css +24 -0
  547. data/public/libs/font-awesome/css/font-awesome.css +1268 -0
  548. data/public/libs/font-awesome/css/font-awesome.min.css +24 -0
  549. data/public/libs/font-awesome/font/FontAwesome.otf +0 -0
  550. data/public/libs/font-awesome/font/fontawesome-webfont.eot +0 -0
  551. data/public/libs/font-awesome/font/fontawesome-webfont.svg +339 -0
  552. data/public/libs/font-awesome/font/fontawesome-webfont.ttf +0 -0
  553. data/public/libs/font-awesome/font/fontawesome-webfont.woff +0 -0
  554. data/public/libs/font-awesome/less/bootstrap.less +78 -0
  555. data/public/libs/font-awesome/less/core.less +132 -0
  556. data/public/libs/font-awesome/less/extras.less +79 -0
  557. data/public/libs/font-awesome/less/font-awesome-ie7.less +413 -0
  558. data/public/libs/font-awesome/less/font-awesome.less +32 -0
  559. data/public/libs/font-awesome/less/icons.less +330 -0
  560. data/public/libs/font-awesome/less/mixins.less +34 -0
  561. data/public/libs/font-awesome/less/path.less +15 -0
  562. data/public/libs/font-awesome/less/variables.less +9 -0
  563. data/public/libs/jquery-1.10.0.min.js +6 -0
  564. data/public/libs/jquery-ui.min.js +12 -0
  565. data/public/libs/jquery.jsPlumb-1.4.0-all.js +9571 -0
  566. data/public/libs/jquery.livequery.js +226 -0
  567. data/public/libs/jsPlumbInitializer.js +72 -0
  568. data/public/libs/jstree/README.txt +10 -0
  569. data/public/libs/jstree/_demo/_dump.sql +20 -0
  570. data/public/libs/jstree/_demo/_inc/__mysql_errors.log +0 -0
  571. data/public/libs/jstree/_demo/_inc/class._database.php +146 -0
  572. data/public/libs/jstree/_demo/_inc/class._database_i.php +152 -0
  573. data/public/libs/jstree/_demo/_inc/class.tree.php +602 -0
  574. data/public/libs/jstree/_demo/_install.txt +6 -0
  575. data/public/libs/jstree/_demo/config.php +14 -0
  576. data/public/libs/jstree/_demo/file.png +0 -0
  577. data/public/libs/jstree/_demo/folder.png +0 -0
  578. data/public/libs/jstree/_demo/index.html +461 -0
  579. data/public/libs/jstree/_demo/root.png +0 -0
  580. data/public/libs/jstree/_demo/server.php +69 -0
  581. data/public/libs/jstree/_docs/!style.css +48 -0
  582. data/public/libs/jstree/_docs/_drive.png +0 -0
  583. data/public/libs/jstree/_docs/_html_data.html +2 -0
  584. data/public/libs/jstree/_docs/_json_data.json +4 -0
  585. data/public/libs/jstree/_docs/_search_data.json +6 -0
  586. data/public/libs/jstree/_docs/_search_result.json +1 -0
  587. data/public/libs/jstree/_docs/_xml_flat.xml +12 -0
  588. data/public/libs/jstree/_docs/_xml_nest.xml +18 -0
  589. data/public/libs/jstree/_docs/checkbox.html +171 -0
  590. data/public/libs/jstree/_docs/contextmenu.html +121 -0
  591. data/public/libs/jstree/_docs/cookies.html +97 -0
  592. data/public/libs/jstree/_docs/core.html +689 -0
  593. data/public/libs/jstree/_docs/crrm.html +316 -0
  594. data/public/libs/jstree/_docs/dnd.html +199 -0
  595. data/public/libs/jstree/_docs/hotkeys.html +82 -0
  596. data/public/libs/jstree/_docs/html_data.html +175 -0
  597. data/public/libs/jstree/_docs/index.html +86 -0
  598. data/public/libs/jstree/_docs/json_data.html +249 -0
  599. data/public/libs/jstree/_docs/languages.html +152 -0
  600. data/public/libs/jstree/_docs/logo.png +0 -0
  601. data/public/libs/jstree/_docs/search.html +153 -0
  602. data/public/libs/jstree/_docs/sort.html +85 -0
  603. data/public/libs/jstree/_docs/syntax/!script.js +2232 -0
  604. data/public/libs/jstree/_docs/syntax/!style.css +511 -0
  605. data/public/libs/jstree/_docs/syntax/clipboard.swf +0 -0
  606. data/public/libs/jstree/_docs/syntax/help.png +0 -0
  607. data/public/libs/jstree/_docs/syntax/magnifier.png +0 -0
  608. data/public/libs/jstree/_docs/syntax/page_white_code.png +0 -0
  609. data/public/libs/jstree/_docs/syntax/page_white_copy.png +0 -0
  610. data/public/libs/jstree/_docs/syntax/printer.png +0 -0
  611. data/public/libs/jstree/_docs/syntax/wrapping.png +0 -0
  612. data/public/libs/jstree/_docs/themeroller.html +107 -0
  613. data/public/libs/jstree/_docs/themes.html +127 -0
  614. data/public/libs/jstree/_docs/types.html +178 -0
  615. data/public/libs/jstree/_docs/ui.html +197 -0
  616. data/public/libs/jstree/_docs/unique.html +85 -0
  617. data/public/libs/jstree/_docs/xml_data.html +218 -0
  618. data/public/libs/jstree/_lib/jquery.cookie.js +96 -0
  619. data/public/libs/jstree/_lib/jquery.hotkeys.js +99 -0
  620. data/public/libs/jstree/_lib/jquery.js +5 -0
  621. data/public/libs/jstree/jquery.jstree.js +4564 -0
  622. data/public/libs/jstree/themes/apple/bg.jpg +0 -0
  623. data/public/libs/jstree/themes/apple/d.png +0 -0
  624. data/public/libs/jstree/themes/apple/dot_for_ie.gif +0 -0
  625. data/public/libs/jstree/themes/apple/style.css +61 -0
  626. data/public/libs/jstree/themes/apple/throbber.gif +0 -0
  627. data/public/libs/jstree/themes/classic/d.gif +0 -0
  628. data/public/libs/jstree/themes/classic/d.png +0 -0
  629. data/public/libs/jstree/themes/classic/dot_for_ie.gif +0 -0
  630. data/public/libs/jstree/themes/classic/style.css +77 -0
  631. data/public/libs/jstree/themes/classic/throbber.gif +0 -0
  632. data/public/libs/jstree/themes/default-rtl/d.gif +0 -0
  633. data/public/libs/jstree/themes/default-rtl/d.png +0 -0
  634. data/public/libs/jstree/themes/default-rtl/dots.gif +0 -0
  635. data/public/libs/jstree/themes/default-rtl/style.css +84 -0
  636. data/public/libs/jstree/themes/default-rtl/throbber.gif +0 -0
  637. data/public/libs/jstree/themes/default/d.gif +0 -0
  638. data/public/libs/jstree/themes/default/d.png +0 -0
  639. data/public/libs/jstree/themes/default/style.css +74 -0
  640. data/public/libs/jstree/themes/default/throbber.gif +0 -0
  641. data/public/themes/geo-bootstrap/README.md +25 -0
  642. data/public/themes/geo-bootstrap/img/flames.gif +0 -0
  643. data/public/themes/geo-bootstrap/img/glyphicons-halflings-white.png +0 -0
  644. data/public/themes/geo-bootstrap/img/glyphicons-halflings.png +0 -0
  645. data/public/themes/geo-bootstrap/img/microfab.gif +0 -0
  646. data/public/themes/geo-bootstrap/img/progress.gif +0 -0
  647. data/public/themes/geo-bootstrap/img/rainbow.gif +0 -0
  648. data/public/themes/geo-bootstrap/img/stars.gif +0 -0
  649. data/public/themes/geo-bootstrap/img/test/7upspot.gif +0 -0
  650. data/public/themes/geo-bootstrap/img/test/americanflag.gif +0 -0
  651. data/public/themes/geo-bootstrap/img/test/community.gif +0 -0
  652. data/public/themes/geo-bootstrap/img/test/computer-01.gif +0 -0
  653. data/public/themes/geo-bootstrap/img/test/computer.gif +0 -0
  654. data/public/themes/geo-bootstrap/img/test/construction.gif +0 -0
  655. data/public/themes/geo-bootstrap/img/test/counter.gif +0 -0
  656. data/public/themes/geo-bootstrap/img/test/counter2.gif +0 -0
  657. data/public/themes/geo-bootstrap/img/test/divider.gif +0 -0
  658. data/public/themes/geo-bootstrap/img/test/divider1.gif +0 -0
  659. data/public/themes/geo-bootstrap/img/test/divider2.gif +0 -0
  660. data/public/themes/geo-bootstrap/img/test/divider3.gif +0 -0
  661. data/public/themes/geo-bootstrap/img/test/divider4.gif +0 -0
  662. data/public/themes/geo-bootstrap/img/test/drudgesiren.gif +0 -0
  663. data/public/themes/geo-bootstrap/img/test/emailme.gif +0 -0
  664. data/public/themes/geo-bootstrap/img/test/funky.gif +0 -0
  665. data/public/themes/geo-bootstrap/img/test/geocities.jpg +0 -0
  666. data/public/themes/geo-bootstrap/img/test/hacker.gif +0 -0
  667. data/public/themes/geo-bootstrap/img/test/heart.gif +0 -0
  668. data/public/themes/geo-bootstrap/img/test/hot.gif +0 -0
  669. data/public/themes/geo-bootstrap/img/test/ie_logo.gif +0 -0
  670. data/public/themes/geo-bootstrap/img/test/mailkitten.gif +0 -0
  671. data/public/themes/geo-bootstrap/img/test/mchammer.gif +0 -0
  672. data/public/themes/geo-bootstrap/img/test/new.gif +0 -0
  673. data/public/themes/geo-bootstrap/img/test/new2.gif +0 -0
  674. data/public/themes/geo-bootstrap/img/test/noframes.gif +0 -0
  675. data/public/themes/geo-bootstrap/img/test/notepad.gif +0 -0
  676. data/public/themes/geo-bootstrap/img/test/ns_logo.gif +0 -0
  677. data/public/themes/geo-bootstrap/img/test/sign-in.gif +0 -0
  678. data/public/themes/geo-bootstrap/img/test/spinningearth.gif +0 -0
  679. data/public/themes/geo-bootstrap/img/test/underconstruction.gif +0 -0
  680. data/public/themes/geo-bootstrap/img/test/wabwalk.gif +0 -0
  681. data/public/themes/geo-bootstrap/img/test/webtrips.gif +0 -0
  682. data/public/themes/geo-bootstrap/img/test/yahooweek.gif +0 -0
  683. data/public/themes/geo-bootstrap/package.json +21 -0
  684. data/public/themes/geo-bootstrap/swatch/bootstrap-responsive.css +1109 -0
  685. data/public/themes/geo-bootstrap/swatch/bootstrap-responsive.min.css +9 -0
  686. data/public/themes/geo-bootstrap/swatch/bootstrap.css +6462 -0
  687. data/public/themes/geo-bootstrap/swatch/bootstrap.min.css +9 -0
  688. metadata +791 -0
@@ -0,0 +1,22 @@
1
+ /* IE<9 does not have Array.indexOf , needed for amber */
2
+ if (!Array.prototype.indexOf) {
3
+ Array.prototype.indexOf = function(elt /*, from*/)
4
+ {
5
+ var len = this.length >>> 0;
6
+
7
+ var from = Number(arguments[1]) || 0;
8
+ from = (from < 0)
9
+ ? Math.ceil(from)
10
+ : Math.floor(from);
11
+ if (from < 0)
12
+ from += len;
13
+
14
+ for (; from < len; from++)
15
+ {
16
+ if (from in this &&
17
+ this[from] === elt)
18
+ return from;
19
+ }
20
+ return -1;
21
+ };
22
+ }
@@ -0,0 +1,9 @@
1
+ smalltalk.init(smalltalk.Object);
2
+ smalltalk.classes()._do_(function(each) {
3
+ each._initialize()});
4
+
5
+ /* Similar to jQuery(document).ready() */
6
+
7
+ if(this.smalltalkReady) {
8
+ this.smalltalkReady();
9
+ }
@@ -0,0 +1,19 @@
1
+ Copyright (C) 2011 by Marijn Haverbeke <marijnh@gmail.com>
2
+
3
+ Permission is hereby granted, free of charge, to any person obtaining a copy
4
+ of this software and associated documentation files (the "Software"), to deal
5
+ in the Software without restriction, including without limitation the rights
6
+ to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
7
+ copies of the Software, and to permit persons to whom the Software is
8
+ furnished to do so, subject to the following conditions:
9
+
10
+ The above copyright notice and this permission notice shall be included in
11
+ all copies or substantial portions of the Software.
12
+
13
+ THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
14
+ IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
15
+ FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
16
+ AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
17
+ LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
18
+ OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
19
+ THE SOFTWARE.
@@ -0,0 +1,39 @@
1
+ // Because sometimes you need to style the cursor's line.
2
+ //
3
+ // Adds an option 'styleActiveLine' which, when enabled, gives the
4
+ // active line's wrapping <div> the CSS class "CodeMirror-activeline",
5
+ // and gives its background <div> the class "CodeMirror-activeline-background".
6
+
7
+ (function() {
8
+ "use strict";
9
+ var WRAP_CLASS = "CodeMirror-activeline";
10
+ var BACK_CLASS = "CodeMirror-activeline-background";
11
+
12
+ CodeMirror.defineOption("styleActiveLine", false, function(cm, val, old) {
13
+ var prev = old && old != CodeMirror.Init;
14
+ if (val && !prev) {
15
+ updateActiveLine(cm);
16
+ cm.on("cursorActivity", updateActiveLine);
17
+ } else if (!val && prev) {
18
+ cm.off("cursorActivity", updateActiveLine);
19
+ clearActiveLine(cm);
20
+ delete cm._activeLine;
21
+ }
22
+ });
23
+
24
+ function clearActiveLine(cm) {
25
+ if ("_activeLine" in cm) {
26
+ cm.removeLineClass(cm._activeLine, "wrap", WRAP_CLASS);
27
+ cm.removeLineClass(cm._activeLine, "background", BACK_CLASS);
28
+ }
29
+ }
30
+
31
+ function updateActiveLine(cm) {
32
+ var line = cm.getLineHandle(cm.getCursor().line);
33
+ if (cm._activeLine == line) return;
34
+ clearActiveLine(cm);
35
+ cm.addLineClass(line, "wrap", WRAP_CLASS);
36
+ cm.addLineClass(line, "background", BACK_CLASS);
37
+ cm._activeLine = line;
38
+ }
39
+ })();
@@ -0,0 +1,21 @@
1
+ .cm-s-jtalk span.cm-keyword {color: #7F0000; font-weight: bold;}
2
+ .cm-s-jtalk span.cm-className {font-weight: bold;}
3
+ .cm-s-jtalk span.cm-assignment {font-weight: bold;}
4
+ .cm-s-jtalk span.cm-return {font-weight: bold;}
5
+ .cm-s-jtalk span.cm-atom {color: #219;}
6
+ .cm-s-jtalk span.cm-number {color: #7F0000;}
7
+ .cm-s-jtalk span.cm-def {color: #00f;}
8
+ .cm-s-jtalk span.cm-variable {color: grey;}
9
+ .cm-s-jtalk span.cm-variable-2 {color: #05a;}
10
+ .cm-s-jtalk span.cm-variable-3 {color: #0a5;}
11
+ .cm-s-jtalk span.cm-property {color: black;}
12
+ .cm-s-jtalk span.cm-operator {color: #00007F;}
13
+ .cm-s-jtalk span.cm-comment {color: #007F00;}
14
+ .cm-s-jtalk span.cm-string {color: #7F007F;}
15
+ .cm-s-jtalk span.cm-meta {color: #555;}
16
+ .cm-s-jtalk span.cm-error {color: #f00;}
17
+ .cm-s-jtalk span.cm-qualifier {color: #555;}
18
+ .cm-s-jtalk span.cm-builtin {color: #30a;}
19
+ .cm-s-jtalk span.cm-bracket {color: #cc7;}
20
+ .cm-s-jtalk span.cm-tag {color: #170;}
21
+ .cm-s-jtalk span.cm-attribute {color: #00c;}
@@ -0,0 +1,67 @@
1
+ .CodeMirror {
2
+ line-height: 1em;
3
+ font-family: monospace;
4
+ }
5
+
6
+ .CodeMirror-scroll {
7
+ overflow: auto;
8
+ height: 300px;
9
+ /* This is needed to prevent an IE[67] bug where the scrolled content
10
+ is visible outside of the scrolling box. */
11
+ position: relative;
12
+ }
13
+
14
+ .CodeMirror-gutter {
15
+ position: absolute; left: 0; top: 0;
16
+ background-color: #f7f7f7;
17
+ border-right: 1px solid #eee;
18
+ min-width: 2em;
19
+ height: 100%;
20
+ }
21
+ .CodeMirror-gutter-text {
22
+ color: #aaa;
23
+ text-align: right;
24
+ padding: .4em .2em .4em .4em;
25
+ }
26
+ .CodeMirror-lines {
27
+ padding: .4em;
28
+ }
29
+
30
+ .CodeMirror pre {
31
+ -moz-border-radius: 0;
32
+ -webkit-border-radius: 0;
33
+ -o-border-radius: 0;
34
+ border-radius: 0;
35
+ border-width: 0; margin: 0; padding: 0; background: transparent;
36
+ font-family: inherit;
37
+ font-size: inherit;
38
+ padding: 0; margin: 0;
39
+ white-space: pre;
40
+ word-wrap: normal;
41
+ }
42
+
43
+ .CodeMirror textarea {
44
+ font-family: inherit !important;
45
+ font-size: inherit !important;
46
+ }
47
+
48
+ .CodeMirror-cursor {
49
+ z-index: 10;
50
+ position: absolute;
51
+ visibility: hidden;
52
+ border-left: 1px solid black !important;
53
+ }
54
+ .CodeMirror-focused .CodeMirror-cursor {
55
+ visibility: visible;
56
+ }
57
+
58
+ span.CodeMirror-selected {
59
+ background: #ccc !important;
60
+ color: HighlightText !important;
61
+ }
62
+ .CodeMirror-focused span.CodeMirror-selected {
63
+ background: Highlight !important;
64
+ }
65
+
66
+ .CodeMirror-matchingbracket {color: #0f0 !important;}
67
+ .CodeMirror-nonmatchingbracket {color: #f22 !important;}
@@ -0,0 +1,2144 @@
1
+ // All functions that need access to the editor's state live inside
2
+ // the CodeMirror function. Below that, at the bottom of the file,
3
+ // some utilities are defined.
4
+
5
+ // CodeMirror is the only global var we claim
6
+ var CodeMirror = (function() {
7
+ // This is the function that produces an editor instance. It's
8
+ // closure is used to store the editor state.
9
+ function CodeMirror(place, givenOptions) {
10
+ // Determine effective options based on given values and defaults.
11
+ var options = {}, defaults = CodeMirror.defaults;
12
+ for (var opt in defaults)
13
+ if (defaults.hasOwnProperty(opt))
14
+ options[opt] = (givenOptions && givenOptions.hasOwnProperty(opt) ? givenOptions : defaults)[opt];
15
+
16
+ var targetDocument = options["document"];
17
+ // The element in which the editor lives.
18
+ var wrapper = targetDocument.createElement("div");
19
+ wrapper.className = "CodeMirror";
20
+ // This mess creates the base DOM structure for the editor.
21
+ wrapper.innerHTML =
22
+ '<div style="overflow: hidden; position: relative; width: 1px; height: 0px;">' + // Wraps and hides input textarea
23
+ '<textarea style="position: absolute; width: 2px;" wrap="off"></textarea></div>' +
24
+ '<div class="CodeMirror-scroll cm-s-' + options.theme + '">' +
25
+ '<div style="position: relative">' + // Set to the height of the text, causes scrolling
26
+ '<div style="position: absolute; height: 0; width: 0; overflow: hidden;"></div>' +
27
+ '<div style="position: relative">' + // Moved around its parent to cover visible view
28
+ '<div class="CodeMirror-gutter"><div class="CodeMirror-gutter-text"></div></div>' +
29
+ // Provides positioning relative to (visible) text origin
30
+ '<div class="CodeMirror-lines"><div style="position: relative">' +
31
+ '<pre class="CodeMirror-cursor">&#160;</pre>' + // Absolutely positioned blinky cursor
32
+ '<div></div>' + // This DIV contains the actual code
33
+ '</div></div></div></div></div>';
34
+ if (place.appendChild) place.appendChild(wrapper); else place(wrapper);
35
+ // I've never seen more elegant code in my life.
36
+ var inputDiv = wrapper.firstChild, input = inputDiv.firstChild,
37
+ scroller = wrapper.lastChild, code = scroller.firstChild,
38
+ measure = code.firstChild, mover = measure.nextSibling,
39
+ gutter = mover.firstChild, gutterText = gutter.firstChild,
40
+ lineSpace = gutter.nextSibling.firstChild,
41
+ cursor = lineSpace.firstChild, lineDiv = cursor.nextSibling;
42
+ if (options.tabindex != null) input.tabindex = options.tabindex;
43
+ if (!options.gutter && !options.lineNumbers) gutter.style.display = "none";
44
+
45
+ // Delayed object wrap timeouts, making sure only one is active. blinker holds an interval.
46
+ var poll = new Delayed(), highlight = new Delayed(), blinker;
47
+
48
+ // mode holds a mode API object. lines an array of Line objects
49
+ // (see Line constructor), work an array of lines that should be
50
+ // parsed, and history the undo history (instance of History
51
+ // constructor).
52
+ var mode, lines = [new Line("")], work, history = new History(), focused;
53
+ loadMode();
54
+ // The selection. These are always maintained to point at valid
55
+ // positions. Inverted is used to remember that the user is
56
+ // selecting bottom-to-top.
57
+ var sel = {from: {line: 0, ch: 0}, to: {line: 0, ch: 0}, inverted: false};
58
+ // Selection-related flags. shiftSelecting obviously tracks
59
+ // whether the user is holding shift. reducedSelection is a hack
60
+ // to get around the fact that we can't create inverted
61
+ // selections. See below.
62
+ var shiftSelecting, reducedSelection, lastDoubleClick;
63
+ // Variables used by startOperation/endOperation to track what
64
+ // happened during the operation.
65
+ var updateInput, changes, textChanged, selectionChanged, leaveInputAlone;
66
+ // Current visible range (may be bigger than the view window).
67
+ var showingFrom = 0, showingTo = 0, lastHeight = 0, curKeyId = null;
68
+ // editing will hold an object describing the things we put in the
69
+ // textarea, to help figure out whether something changed.
70
+ // bracketHighlighted is used to remember that a backet has been
71
+ // marked.
72
+ var editing, bracketHighlighted;
73
+ // Tracks the maximum line length so that the horizontal scrollbar
74
+ // can be kept static when scrolling.
75
+ var maxLine = "", maxWidth;
76
+
77
+ // Initialize the content.
78
+ operation(function(){setValue(options.value || ""); updateInput = false;})();
79
+
80
+ // Register our event handlers.
81
+ connect(scroller, "mousedown", operation(onMouseDown));
82
+ // Gecko browsers fire contextmenu *after* opening the menu, at
83
+ // which point we can't mess with it anymore. Context menu is
84
+ // handled in onMouseDown for Gecko.
85
+ if (!gecko) connect(scroller, "contextmenu", onContextMenu);
86
+ connect(code, "dblclick", operation(onDblClick));
87
+ connect(scroller, "scroll", function() {updateDisplay([]); if (options.onScroll) options.onScroll(instance);});
88
+ connect(window, "resize", function() {updateDisplay(true);});
89
+ connect(input, "keyup", operation(onKeyUp));
90
+ connect(input, "keydown", operation(onKeyDown));
91
+ connect(input, "keypress", operation(onKeyPress));
92
+ connect(input, "focus", onFocus);
93
+ connect(input, "blur", onBlur);
94
+
95
+ connect(scroller, "dragenter", e_stop);
96
+ connect(scroller, "dragover", e_stop);
97
+ connect(scroller, "drop", operation(onDrop));
98
+ connect(scroller, "paste", function(){focusInput(); fastPoll();});
99
+ connect(input, "paste", function(){fastPoll();});
100
+ connect(input, "cut", function(){fastPoll();});
101
+
102
+ // IE throws unspecified error in certain cases, when
103
+ // trying to access activeElement before onload
104
+ var hasFocus; try { hasFocus = (targetDocument.activeElement == input); } catch(e) { }
105
+ if (hasFocus) setTimeout(onFocus, 20);
106
+ else onBlur();
107
+
108
+ function isLine(l) {return l >= 0 && l < lines.length;}
109
+ // The instance object that we'll return. Mostly calls out to
110
+ // local functions in the CodeMirror function. Some do some extra
111
+ // range checking and/or clipping. operation is used to wrap the
112
+ // call so that changes it makes are tracked, and the display is
113
+ // updated afterwards.
114
+ var instance = {
115
+ getValue: getValue,
116
+ setValue: operation(setValue),
117
+ getSelection: getSelection,
118
+ replaceSelection: operation(replaceSelection),
119
+ focus: function(){focusInput(); onFocus(); fastPoll();},
120
+ setOption: function(option, value) {
121
+ options[option] = value;
122
+ if (option == "lineNumbers" || option == "gutter") gutterChanged();
123
+ else if (option == "mode" || option == "indentUnit") loadMode();
124
+ else if (option == "readOnly" && value == "nocursor") input.blur();
125
+ else if (option == "theme") scroller.className = scroller.className.replace(/cm-s-\w+/, "cm-s-" + value);
126
+ },
127
+ getOption: function(option) {return options[option];},
128
+ undo: operation(undo),
129
+ redo: operation(redo),
130
+ indentLine: operation(function(n) {if (isLine(n)) indentLine(n, "smart");}),
131
+ historySize: function() {return {undo: history.done.length, redo: history.undone.length};},
132
+ matchBrackets: operation(function(){matchBrackets(true);}),
133
+ getTokenAt: function(pos) {
134
+ pos = clipPos(pos);
135
+ return lines[pos.line].getTokenAt(mode, getStateBefore(pos.line), pos.ch);
136
+ },
137
+ getStateAfter: function(line) {
138
+ line = clipLine(line == null ? lines.length - 1: line);
139
+ return getStateBefore(line + 1);
140
+ },
141
+ cursorCoords: function(start){
142
+ if (start == null) start = sel.inverted;
143
+ return pageCoords(start ? sel.from : sel.to);
144
+ },
145
+ charCoords: function(pos){return pageCoords(clipPos(pos));},
146
+ coordsChar: function(coords) {
147
+ var off = eltOffset(lineSpace);
148
+ var line = clipLine(Math.min(lines.length - 1, showingFrom + Math.floor((coords.y - off.top) / lineHeight())));
149
+ return clipPos({line: line, ch: charFromX(clipLine(line), coords.x - off.left)});
150
+ },
151
+ getSearchCursor: function(query, pos, caseFold) {return new SearchCursor(query, pos, caseFold);},
152
+ markText: operation(function(a, b, c){return operation(markText(a, b, c));}),
153
+ setMarker: addGutterMarker,
154
+ clearMarker: removeGutterMarker,
155
+ setLineClass: operation(setLineClass),
156
+ lineInfo: lineInfo,
157
+ addWidget: function(pos, node, scroll, where) {
158
+ pos = localCoords(clipPos(pos));
159
+ var top = pos.yBot, left = pos.x;
160
+ node.style.position = "absolute";
161
+ code.appendChild(node);
162
+ node.style.left = left + "px";
163
+ if (where == "over") top = pos.y;
164
+ else if (where == "near") {
165
+ var vspace = Math.max(scroller.offsetHeight, lines.length * lineHeight()),
166
+ hspace = Math.max(code.clientWidth, lineSpace.clientWidth) - paddingLeft();
167
+ if (pos.yBot + node.offsetHeight > vspace && pos.y > node.offsetHeight)
168
+ top = pos.y - node.offsetHeight;
169
+ if (left + node.offsetWidth > hspace)
170
+ left = hspace - node.offsetWidth;
171
+ }
172
+ node.style.top = (top + paddingTop()) + "px";
173
+ node.style.left = (left + paddingLeft()) + "px";
174
+ if (scroll)
175
+ scrollIntoView(left, top, left + node.offsetWidth, top + node.offsetHeight);
176
+ },
177
+
178
+ lineCount: function() {return lines.length;},
179
+ getCursor: function(start) {
180
+ if (start == null) start = sel.inverted;
181
+ return copyPos(start ? sel.from : sel.to);
182
+ },
183
+ somethingSelected: function() {return !posEq(sel.from, sel.to);},
184
+ setCursor: operation(function(line, ch) {
185
+ if (ch == null && typeof line.line == "number") setCursor(line.line, line.ch);
186
+ else setCursor(line, ch);
187
+ }),
188
+ setSelection: operation(function(from, to) {setSelection(clipPos(from), clipPos(to || from));}),
189
+ getLine: function(line) {if (isLine(line)) return lines[line].text;},
190
+ setLine: operation(function(line, text) {
191
+ if (isLine(line)) replaceRange(text, {line: line, ch: 0}, {line: line, ch: lines[line].text.length});
192
+ }),
193
+ removeLine: operation(function(line) {
194
+ if (isLine(line)) replaceRange("", {line: line, ch: 0}, clipPos({line: line+1, ch: 0}));
195
+ }),
196
+ replaceRange: operation(replaceRange),
197
+ getRange: function(from, to) {return getRange(clipPos(from), clipPos(to));},
198
+
199
+ operation: function(f){return operation(f)();},
200
+ refresh: function(){updateDisplay(true);},
201
+ getInputField: function(){return input;},
202
+ getWrapperElement: function(){return wrapper;},
203
+ getScrollerElement: function(){return scroller;}
204
+ };
205
+
206
+ function setValue(code) {
207
+ history = null;
208
+ var top = {line: 0, ch: 0};
209
+ updateLines(top, {line: lines.length - 1, ch: lines[lines.length-1].text.length},
210
+ splitLines(code), top, top);
211
+ history = new History();
212
+ }
213
+ function getValue(code) {
214
+ var text = [];
215
+ for (var i = 0, l = lines.length; i < l; ++i)
216
+ text.push(lines[i].text);
217
+ return text.join("\n");
218
+ }
219
+
220
+ function onMouseDown(e) {
221
+ // Check whether this is a click in a widget
222
+ for (var n = e_target(e); n != wrapper; n = n.parentNode)
223
+ if (n.parentNode == code && n != mover) return;
224
+ var ld = lastDoubleClick; lastDoubleClick = null;
225
+ // First, see if this is a click in the gutter
226
+ for (var n = e_target(e); n != wrapper; n = n.parentNode)
227
+ if (n.parentNode == gutterText) {
228
+ if (options.onGutterClick)
229
+ options.onGutterClick(instance, indexOf(gutterText.childNodes, n) + showingFrom);
230
+ return e_preventDefault(e);
231
+ }
232
+
233
+ var start = posFromMouse(e);
234
+
235
+ switch (e_button(e)) {
236
+ case 3:
237
+ if (gecko && !mac) onContextMenu(e);
238
+ return;
239
+ case 2:
240
+ if (start) setCursor(start.line, start.ch, true);
241
+ return;
242
+ }
243
+ // For button 1, if it was clicked inside the editor
244
+ // (posFromMouse returning non-null), we have to adjust the
245
+ // selection.
246
+ if (!start) {if (e_target(e) == scroller) e_preventDefault(e); return;}
247
+
248
+ if (!focused) onFocus();
249
+ e_preventDefault(e);
250
+ if (ld && +new Date - ld < 400) return selectLine(start.line);
251
+
252
+ setCursor(start.line, start.ch, true);
253
+ var last = start, going;
254
+ // And then we have to see if it's a drag event, in which case
255
+ // the dragged-over text must be selected.
256
+ function end() {
257
+ focusInput();
258
+ updateInput = true;
259
+ move(); up();
260
+ }
261
+ function extend(e) {
262
+ var cur = posFromMouse(e, true);
263
+ if (cur && !posEq(cur, last)) {
264
+ if (!focused) onFocus();
265
+ last = cur;
266
+ setSelectionUser(start, cur);
267
+ updateInput = false;
268
+ var visible = visibleLines();
269
+ if (cur.line >= visible.to || cur.line < visible.from)
270
+ going = setTimeout(operation(function(){extend(e);}), 150);
271
+ }
272
+ }
273
+
274
+ var move = connect(targetDocument, "mousemove", operation(function(e) {
275
+ clearTimeout(going);
276
+ e_preventDefault(e);
277
+ extend(e);
278
+ }), true);
279
+ var up = connect(targetDocument, "mouseup", operation(function(e) {
280
+ clearTimeout(going);
281
+ var cur = posFromMouse(e);
282
+ if (cur) setSelectionUser(start, cur);
283
+ e_preventDefault(e);
284
+ end();
285
+ }), true);
286
+ }
287
+ function onDblClick(e) {
288
+ var pos = posFromMouse(e);
289
+ if (!pos) return;
290
+ selectWordAt(pos);
291
+ e_preventDefault(e);
292
+ lastDoubleClick = +new Date;
293
+ }
294
+ function onDrop(e) {
295
+ e.preventDefault();
296
+ var pos = posFromMouse(e, true), files = e.dataTransfer.files;
297
+ if (!pos || options.readOnly) return;
298
+ if (files && files.length && window.FileReader && window.File) {
299
+ function loadFile(file, i) {
300
+ var reader = new FileReader;
301
+ reader.onload = function() {
302
+ text[i] = reader.result;
303
+ if (++read == n) replaceRange(text.join(""), clipPos(pos), clipPos(pos));
304
+ };
305
+ reader.readAsText(file);
306
+ }
307
+ var n = files.length, text = Array(n), read = 0;
308
+ for (var i = 0; i < n; ++i) loadFile(files[i], i);
309
+ }
310
+ else {
311
+ try {
312
+ var text = e.dataTransfer.getData("Text");
313
+ if (text) replaceRange(text, pos, pos);
314
+ }
315
+ catch(e){}
316
+ }
317
+ }
318
+ function onKeyDown(e) {
319
+ if (!focused) onFocus();
320
+
321
+ var code = e.keyCode;
322
+ // IE does strange things with escape.
323
+ if (ie && code == 27) { e.returnValue = false; }
324
+ // Tries to detect ctrl on non-mac, cmd on mac.
325
+ var mod = (mac ? e.metaKey : e.ctrlKey) && !e.altKey, anyMod = e.ctrlKey || e.altKey || e.metaKey;
326
+ if (code == 16 || e.shiftKey) shiftSelecting = shiftSelecting || (sel.inverted ? sel.to : sel.from);
327
+ else shiftSelecting = null;
328
+ // First give onKeyEvent option a chance to handle this.
329
+ if (options.onKeyEvent && options.onKeyEvent(instance, addStop(e))) return;
330
+
331
+ if (code == 33 || code == 34) {scrollPage(code == 34); return e_preventDefault(e);} // page up/down
332
+ if (mod && ((code == 36 || code == 35) || // ctrl-home/end
333
+ mac && (code == 38 || code == 40))) { // cmd-up/down
334
+ scrollEnd(code == 36 || code == 38); return e_preventDefault(e);
335
+ }
336
+ if (mod && code == 65) {selectAll(); return e_preventDefault(e);} // ctrl-a
337
+ if (!options.readOnly) {
338
+ if (!anyMod && code == 13) {return;} // enter
339
+ if (!anyMod && code == 9 && handleTab(e.shiftKey)) return e_preventDefault(e); // tab
340
+ if (mod && code == 90) {undo(); return e_preventDefault(e);} // ctrl-z
341
+ if (mod && ((e.shiftKey && code == 90) || code == 89)) {redo(); return e_preventDefault(e);} // ctrl-shift-z, ctrl-y
342
+ }
343
+
344
+ // Key id to use in the movementKeys map. We also pass it to
345
+ // fastPoll in order to 'self learn'. We need this because
346
+ // reducedSelection, the hack where we collapse the selection to
347
+ // its start when it is inverted and a movement key is pressed
348
+ // (and later restore it again), shouldn't be used for
349
+ // non-movement keys.
350
+ curKeyId = (mod ? "c" : "") + code;
351
+ if (sel.inverted && movementKeys.hasOwnProperty(curKeyId)) {
352
+ var range = selRange(input);
353
+ if (range) {
354
+ reducedSelection = {anchor: range.start};
355
+ setSelRange(input, range.start, range.start);
356
+ }
357
+ }
358
+ fastPoll(curKeyId);
359
+ }
360
+ function onKeyUp(e) {
361
+ if (options.onKeyEvent && options.onKeyEvent(instance, addStop(e))) return;
362
+ if (reducedSelection) {
363
+ reducedSelection = null;
364
+ updateInput = true;
365
+ }
366
+ if (e.keyCode == 16) shiftSelecting = null;
367
+ }
368
+ function onKeyPress(e) {
369
+ if (options.onKeyEvent && options.onKeyEvent(instance, addStop(e))) return;
370
+ if (options.electricChars && mode.electricChars) {
371
+ var ch = String.fromCharCode(e.charCode == null ? e.keyCode : e.charCode);
372
+ if (mode.electricChars.indexOf(ch) > -1)
373
+ setTimeout(operation(function() {indentLine(sel.to.line, "smart");}), 50);
374
+ }
375
+ var code = e.keyCode;
376
+ // Re-stop tab and enter. Necessary on some browsers.
377
+ if (code == 13) {if (!options.readOnly) handleEnter(); e_preventDefault(e);}
378
+ else if (!e.ctrlKey && !e.altKey && !e.metaKey && code == 9 && options.tabMode != "default") e_preventDefault(e);
379
+ else fastPoll(curKeyId);
380
+ }
381
+
382
+ function onFocus() {
383
+ if (options.readOnly == "nocursor") return;
384
+ if (!focused) {
385
+ if (options.onFocus) options.onFocus(instance);
386
+ focused = true;
387
+ if (wrapper.className.search(/\bCodeMirror-focused\b/) == -1)
388
+ wrapper.className += " CodeMirror-focused";
389
+ if (!leaveInputAlone) prepareInput();
390
+ }
391
+ slowPoll();
392
+ restartBlink();
393
+ }
394
+ function onBlur() {
395
+ if (focused) {
396
+ if (options.onBlur) options.onBlur(instance);
397
+ focused = false;
398
+ wrapper.className = wrapper.className.replace(" CodeMirror-focused", "");
399
+ }
400
+ clearInterval(blinker);
401
+ setTimeout(function() {if (!focused) shiftSelecting = null;}, 150);
402
+ }
403
+
404
+ // Replace the range from from to to by the strings in newText.
405
+ // Afterwards, set the selection to selFrom, selTo.
406
+ function updateLines(from, to, newText, selFrom, selTo) {
407
+ if (history) {
408
+ var old = [];
409
+ for (var i = from.line, e = to.line + 1; i < e; ++i) old.push(lines[i].text);
410
+ history.addChange(from.line, newText.length, old);
411
+ while (history.done.length > options.undoDepth) history.done.shift();
412
+ }
413
+ updateLinesNoUndo(from, to, newText, selFrom, selTo);
414
+ }
415
+ function unredoHelper(from, to) {
416
+ var change = from.pop();
417
+ if (change) {
418
+ var replaced = [], end = change.start + change.added;
419
+ for (var i = change.start; i < end; ++i) replaced.push(lines[i].text);
420
+ to.push({start: change.start, added: change.old.length, old: replaced});
421
+ var pos = clipPos({line: change.start + change.old.length - 1,
422
+ ch: editEnd(replaced[replaced.length-1], change.old[change.old.length-1])});
423
+ updateLinesNoUndo({line: change.start, ch: 0}, {line: end - 1, ch: lines[end-1].text.length}, change.old, pos, pos);
424
+ updateInput = true;
425
+ }
426
+ }
427
+ function undo() {unredoHelper(history.done, history.undone);}
428
+ function redo() {unredoHelper(history.undone, history.done);}
429
+
430
+ function updateLinesNoUndo(from, to, newText, selFrom, selTo) {
431
+ var recomputeMaxLength = false, maxLineLength = maxLine.length;
432
+ for (var i = from.line; i <= to.line; ++i) {
433
+ if (lines[i].text.length == maxLineLength) {recomputeMaxLength = true; break;}
434
+ }
435
+
436
+ var nlines = to.line - from.line, firstLine = lines[from.line], lastLine = lines[to.line];
437
+ // First adjust the line structure, taking some care to leave highlighting intact.
438
+ if (firstLine == lastLine) {
439
+ if (newText.length == 1)
440
+ firstLine.replace(from.ch, to.ch, newText[0]);
441
+ else {
442
+ lastLine = firstLine.split(to.ch, newText[newText.length-1]);
443
+ var spliceargs = [from.line + 1, nlines];
444
+ firstLine.replace(from.ch, firstLine.text.length, newText[0]);
445
+ for (var i = 1, e = newText.length - 1; i < e; ++i) spliceargs.push(new Line(newText[i]));
446
+ spliceargs.push(lastLine);
447
+ lines.splice.apply(lines, spliceargs);
448
+ }
449
+ }
450
+ else if (newText.length == 1) {
451
+ firstLine.replace(from.ch, firstLine.text.length, newText[0] + lastLine.text.slice(to.ch));
452
+ lines.splice(from.line + 1, nlines);
453
+ }
454
+ else {
455
+ var spliceargs = [from.line + 1, nlines - 1];
456
+ firstLine.replace(from.ch, firstLine.text.length, newText[0]);
457
+ lastLine.replace(0, to.ch, newText[newText.length-1]);
458
+ for (var i = 1, e = newText.length - 1; i < e; ++i) spliceargs.push(new Line(newText[i]));
459
+ lines.splice.apply(lines, spliceargs);
460
+ }
461
+
462
+
463
+ for (var i = from.line, e = i + newText.length; i < e; ++i) {
464
+ var l = lines[i].text;
465
+ if (l.length > maxLineLength) {
466
+ maxLine = l; maxLineLength = l.length; maxWidth = null;
467
+ recomputeMaxLength = false;
468
+ }
469
+ }
470
+ if (recomputeMaxLength) {
471
+ maxLineLength = 0; maxLine = ""; maxWidth = null;
472
+ for (var i = 0, e = lines.length; i < e; ++i) {
473
+ var l = lines[i].text;
474
+ if (l.length > maxLineLength) {
475
+ maxLineLength = l.length; maxLine = l;
476
+ }
477
+ }
478
+ }
479
+
480
+ // Add these lines to the work array, so that they will be
481
+ // highlighted. Adjust work lines if lines were added/removed.
482
+ var newWork = [], lendiff = newText.length - nlines - 1;
483
+ for (var i = 0, l = work.length; i < l; ++i) {
484
+ var task = work[i];
485
+ if (task < from.line) newWork.push(task);
486
+ else if (task > to.line) newWork.push(task + lendiff);
487
+ }
488
+ if (newText.length < 5) {
489
+ highlightLines(from.line, from.line + newText.length);
490
+ newWork.push(from.line + newText.length);
491
+ } else {
492
+ newWork.push(from.line);
493
+ }
494
+ work = newWork;
495
+ startWorker(100);
496
+ // Remember that these lines changed, for updating the display
497
+ changes.push({from: from.line, to: to.line + 1, diff: lendiff});
498
+ textChanged = {from: from, to: to, text: newText};
499
+
500
+ // Update the selection
501
+ function updateLine(n) {return n <= Math.min(to.line, to.line + lendiff) ? n : n + lendiff;}
502
+ setSelection(selFrom, selTo, updateLine(sel.from.line), updateLine(sel.to.line));
503
+
504
+ // Make sure the scroll-size div has the correct height.
505
+ code.style.height = (lines.length * lineHeight() + 2 * paddingTop()) + "px";
506
+ }
507
+
508
+ function replaceRange(code, from, to) {
509
+ from = clipPos(from);
510
+ if (!to) to = from; else to = clipPos(to);
511
+ code = splitLines(code);
512
+ function adjustPos(pos) {
513
+ if (posLess(pos, from)) return pos;
514
+ if (!posLess(to, pos)) return end;
515
+ var line = pos.line + code.length - (to.line - from.line) - 1;
516
+ var ch = pos.ch;
517
+ if (pos.line == to.line)
518
+ ch += code[code.length-1].length - (to.ch - (to.line == from.line ? from.ch : 0));
519
+ return {line: line, ch: ch};
520
+ }
521
+ var end;
522
+ replaceRange1(code, from, to, function(end1) {
523
+ end = end1;
524
+ return {from: adjustPos(sel.from), to: adjustPos(sel.to)};
525
+ });
526
+ return end;
527
+ }
528
+ function replaceSelection(code, collapse) {
529
+ replaceRange1(splitLines(code), sel.from, sel.to, function(end) {
530
+ if (collapse == "end") return {from: end, to: end};
531
+ else if (collapse == "start") return {from: sel.from, to: sel.from};
532
+ else return {from: sel.from, to: end};
533
+ });
534
+ }
535
+ function replaceRange1(code, from, to, computeSel) {
536
+ var endch = code.length == 1 ? code[0].length + from.ch : code[code.length-1].length;
537
+ var newSel = computeSel({line: from.line + code.length - 1, ch: endch});
538
+ updateLines(from, to, code, newSel.from, newSel.to);
539
+ }
540
+
541
+ function getRange(from, to) {
542
+ var l1 = from.line, l2 = to.line;
543
+ if (l1 == l2) return lines[l1].text.slice(from.ch, to.ch);
544
+ var code = [lines[l1].text.slice(from.ch)];
545
+ for (var i = l1 + 1; i < l2; ++i) code.push(lines[i].text);
546
+ code.push(lines[l2].text.slice(0, to.ch));
547
+ return code.join("\n");
548
+ }
549
+ function getSelection() {
550
+ return getRange(sel.from, sel.to);
551
+ }
552
+
553
+ var pollingFast = false; // Ensures slowPoll doesn't cancel fastPoll
554
+ function slowPoll() {
555
+ if (pollingFast) return;
556
+ poll.set(2000, function() {
557
+ startOperation();
558
+ readInput();
559
+ if (focused) slowPoll();
560
+ endOperation();
561
+ });
562
+ }
563
+ function fastPoll(keyId) {
564
+ var missed = false;
565
+ pollingFast = true;
566
+ function p() {
567
+ startOperation();
568
+ var changed = readInput();
569
+ if (changed == "moved" && keyId) movementKeys[keyId] = true;
570
+ if (!changed && !missed) {missed = true; poll.set(80, p);}
571
+ else {pollingFast = false; slowPoll();}
572
+ endOperation();
573
+ }
574
+ poll.set(20, p);
575
+ }
576
+
577
+ // Inspects the textarea, compares its state (content, selection)
578
+ // to the data in the editing variable, and updates the editor
579
+ // content or cursor if something changed.
580
+ function readInput() {
581
+ if (leaveInputAlone || !focused) return;
582
+ var changed = false, text = input.value, sr = selRange(input);
583
+ if (!sr) return false;
584
+ var changed = editing.text != text, rs = reducedSelection;
585
+ var moved = changed || sr.start != editing.start || sr.end != (rs ? editing.start : editing.end);
586
+ if (!moved && !rs) return false;
587
+ if (changed) {
588
+ shiftSelecting = reducedSelection = null;
589
+ if (options.readOnly) {updateInput = true; return "changed";}
590
+ }
591
+
592
+ // Compute selection start and end based on start/end offsets in textarea
593
+ function computeOffset(n, startLine) {
594
+ var pos = 0;
595
+ for (;;) {
596
+ var found = text.indexOf("\n", pos);
597
+ if (found == -1 || (text.charAt(found-1) == "\r" ? found - 1 : found) >= n)
598
+ return {line: startLine, ch: n - pos};
599
+ ++startLine;
600
+ pos = found + 1;
601
+ }
602
+ }
603
+ var from = computeOffset(sr.start, editing.from),
604
+ to = computeOffset(sr.end, editing.from);
605
+ // Here we have to take the reducedSelection hack into account,
606
+ // so that you can, for example, press shift-up at the start of
607
+ // your selection and have the right thing happen.
608
+ if (rs) {
609
+ var head = sr.start == rs.anchor ? to : from;
610
+ var tail = shiftSelecting ? sel.to : sr.start == rs.anchor ? from : to;
611
+ if (sel.inverted = posLess(head, tail)) { from = head; to = tail; }
612
+ else { reducedSelection = null; from = tail; to = head; }
613
+ }
614
+
615
+ // In some cases (cursor on same line as before), we don't have
616
+ // to update the textarea content at all.
617
+ if (from.line == to.line && from.line == sel.from.line && from.line == sel.to.line && !shiftSelecting)
618
+ updateInput = false;
619
+
620
+ // Magic mess to extract precise edited range from the changed
621
+ // string.
622
+ if (changed) {
623
+ var start = 0, end = text.length, len = Math.min(end, editing.text.length);
624
+ var c, line = editing.from, nl = -1;
625
+ while (start < len && (c = text.charAt(start)) == editing.text.charAt(start)) {
626
+ ++start;
627
+ if (c == "\n") {line++; nl = start;}
628
+ }
629
+ var ch = nl > -1 ? start - nl : start, endline = editing.to - 1, edend = editing.text.length;
630
+ for (;;) {
631
+ c = editing.text.charAt(edend);
632
+ if (text.charAt(end) != c) {++end; ++edend; break;}
633
+ if (c == "\n") endline--;
634
+ if (edend <= start || end <= start) break;
635
+ --end; --edend;
636
+ }
637
+ var nl = editing.text.lastIndexOf("\n", edend - 1), endch = nl == -1 ? edend : edend - nl - 1;
638
+ updateLines({line: line, ch: ch}, {line: endline, ch: endch}, splitLines(text.slice(start, end)), from, to);
639
+ if (line != endline || from.line != line) updateInput = true;
640
+ }
641
+ else setSelection(from, to);
642
+
643
+ editing.text = text; editing.start = sr.start; editing.end = sr.end;
644
+ return changed ? "changed" : moved ? "moved" : false;
645
+ }
646
+
647
+ // Set the textarea content and selection range to match the
648
+ // editor state.
649
+ function prepareInput() {
650
+ var text = [];
651
+ var from = Math.max(0, sel.from.line - 1), to = Math.min(lines.length, sel.to.line + 2);
652
+ for (var i = from; i < to; ++i) text.push(lines[i].text);
653
+ text = input.value = text.join(lineSep);
654
+ var startch = sel.from.ch, endch = sel.to.ch;
655
+ for (var i = from; i < sel.from.line; ++i)
656
+ startch += lineSep.length + lines[i].text.length;
657
+ for (var i = from; i < sel.to.line; ++i)
658
+ endch += lineSep.length + lines[i].text.length;
659
+ editing = {text: text, from: from, to: to, start: startch, end: endch};
660
+ setSelRange(input, startch, reducedSelection ? startch : endch);
661
+ }
662
+ function focusInput() {
663
+ if (options.readOnly != "nocursor") input.focus();
664
+ }
665
+
666
+ function scrollCursorIntoView() {
667
+ var cursor = localCoords(sel.inverted ? sel.from : sel.to);
668
+ return scrollIntoView(cursor.x, cursor.y, cursor.x, cursor.yBot);
669
+ }
670
+ function scrollIntoView(x1, y1, x2, y2) {
671
+ var pl = paddingLeft(), pt = paddingTop(), lh = lineHeight();
672
+ y1 += pt; y2 += pt; x1 += pl; x2 += pl;
673
+ var screen = scroller.clientHeight, screentop = scroller.scrollTop, scrolled = false, result = true;
674
+ if (y1 < screentop) {scroller.scrollTop = Math.max(0, y1 - 2*lh); scrolled = true;}
675
+ else if (y2 > screentop + screen) {scroller.scrollTop = y2 + lh - screen; scrolled = true;}
676
+
677
+ var screenw = scroller.clientWidth, screenleft = scroller.scrollLeft;
678
+ if (x1 < screenleft) {
679
+ if (x1 < 50) x1 = 0;
680
+ scroller.scrollLeft = Math.max(0, x1 - 10);
681
+ scrolled = true;
682
+ }
683
+ else if (x2 > screenw + screenleft) {
684
+ scroller.scrollLeft = x2 + 10 - screenw;
685
+ scrolled = true;
686
+ if (x2 > code.clientWidth) result = false;
687
+ }
688
+ if (scrolled && options.onScroll) options.onScroll(instance);
689
+ return result;
690
+ }
691
+
692
+ function visibleLines() {
693
+ var lh = lineHeight(), top = scroller.scrollTop - paddingTop();
694
+ return {from: Math.min(lines.length, Math.max(0, Math.floor(top / lh))),
695
+ to: Math.min(lines.length, Math.ceil((top + scroller.clientHeight) / lh))};
696
+ }
697
+ // Uses a set of changes plus the current scroll position to
698
+ // determine which DOM updates have to be made, and makes the
699
+ // updates.
700
+ function updateDisplay(changes) {
701
+ if (!scroller.clientWidth) {
702
+ showingFrom = showingTo = 0;
703
+ return;
704
+ }
705
+ // First create a range of theoretically intact lines, and punch
706
+ // holes in that using the change info.
707
+ var intact = changes === true ? [] : [{from: showingFrom, to: showingTo, domStart: 0}];
708
+ for (var i = 0, l = changes.length || 0; i < l; ++i) {
709
+ var change = changes[i], intact2 = [], diff = change.diff || 0;
710
+ for (var j = 0, l2 = intact.length; j < l2; ++j) {
711
+ var range = intact[j];
712
+ if (change.to <= range.from)
713
+ intact2.push({from: range.from + diff, to: range.to + diff, domStart: range.domStart});
714
+ else if (range.to <= change.from)
715
+ intact2.push(range);
716
+ else {
717
+ if (change.from > range.from)
718
+ intact2.push({from: range.from, to: change.from, domStart: range.domStart})
719
+ if (change.to < range.to)
720
+ intact2.push({from: change.to + diff, to: range.to + diff,
721
+ domStart: range.domStart + (change.to - range.from)});
722
+ }
723
+ }
724
+ intact = intact2;
725
+ }
726
+
727
+ // Then, determine which lines we'd want to see, and which
728
+ // updates have to be made to get there.
729
+ var visible = visibleLines();
730
+ var from = Math.min(showingFrom, Math.max(visible.from - 3, 0)),
731
+ to = Math.min(lines.length, Math.max(showingTo, visible.to + 3)),
732
+ updates = [], domPos = 0, domEnd = showingTo - showingFrom, pos = from, changedLines = 0;
733
+
734
+ for (var i = 0, l = intact.length; i < l; ++i) {
735
+ var range = intact[i];
736
+ if (range.to <= from) continue;
737
+ if (range.from >= to) break;
738
+ if (range.domStart > domPos || range.from > pos) {
739
+ updates.push({from: pos, to: range.from, domSize: range.domStart - domPos, domStart: domPos});
740
+ changedLines += range.from - pos;
741
+ }
742
+ pos = range.to;
743
+ domPos = range.domStart + (range.to - range.from);
744
+ }
745
+ if (domPos != domEnd || pos != to) {
746
+ changedLines += Math.abs(to - pos);
747
+ updates.push({from: pos, to: to, domSize: domEnd - domPos, domStart: domPos});
748
+ }
749
+
750
+ if (!updates.length) return;
751
+ lineDiv.style.display = "none";
752
+ // If more than 30% of the screen needs update, just do a full
753
+ // redraw (which is quicker than patching)
754
+ if (changedLines > (visible.to - visible.from) * .3)
755
+ refreshDisplay(from = Math.max(visible.from - 10, 0), to = Math.min(visible.to + 7, lines.length));
756
+ // Otherwise, only update the stuff that needs updating.
757
+ else
758
+ patchDisplay(updates);
759
+ lineDiv.style.display = "";
760
+
761
+ // Position the mover div to align with the lines it's supposed
762
+ // to be showing (which will cover the visible display)
763
+ var different = from != showingFrom || to != showingTo || lastHeight != scroller.clientHeight;
764
+ showingFrom = from; showingTo = to;
765
+ mover.style.top = (from * lineHeight()) + "px";
766
+ if (different) {
767
+ lastHeight = scroller.clientHeight;
768
+ code.style.height = (lines.length * lineHeight() + 2 * paddingTop()) + "px";
769
+ updateGutter();
770
+ }
771
+
772
+ if (maxWidth == null) maxWidth = stringWidth(maxLine);
773
+ if (maxWidth > scroller.clientWidth) {
774
+ lineSpace.style.width = maxWidth + "px";
775
+ // Needed to prevent odd wrapping/hiding of widgets placed in here.
776
+ code.style.width = "";
777
+ code.style.width = scroller.scrollWidth + "px";
778
+ } else {
779
+ lineSpace.style.width = code.style.width = "";
780
+ }
781
+
782
+ // Since this is all rather error prone, it is honoured with the
783
+ // only assertion in the whole file.
784
+ if (lineDiv.childNodes.length != showingTo - showingFrom)
785
+ throw new Error("BAD PATCH! " + JSON.stringify(updates) + " size=" + (showingTo - showingFrom) +
786
+ " nodes=" + lineDiv.childNodes.length);
787
+ updateCursor();
788
+ }
789
+
790
+ function refreshDisplay(from, to) {
791
+ var html = [], start = {line: from, ch: 0}, inSel = posLess(sel.from, start) && !posLess(sel.to, start);
792
+ for (var i = from; i < to; ++i) {
793
+ var ch1 = null, ch2 = null;
794
+ if (inSel) {
795
+ ch1 = 0;
796
+ if (sel.to.line == i) {inSel = false; ch2 = sel.to.ch;}
797
+ }
798
+ else if (sel.from.line == i) {
799
+ if (sel.to.line == i) {ch1 = sel.from.ch; ch2 = sel.to.ch;}
800
+ else {inSel = true; ch1 = sel.from.ch;}
801
+ }
802
+ html.push(lines[i].getHTML(ch1, ch2, true));
803
+ }
804
+ lineDiv.innerHTML = html.join("");
805
+ }
806
+ function patchDisplay(updates) {
807
+ // Slightly different algorithm for IE (badInnerHTML), since
808
+ // there .innerHTML on PRE nodes is dumb, and discards
809
+ // whitespace.
810
+ var sfrom = sel.from.line, sto = sel.to.line, off = 0,
811
+ scratch = badInnerHTML && targetDocument.createElement("div");
812
+ for (var i = 0, e = updates.length; i < e; ++i) {
813
+ var rec = updates[i];
814
+ var extra = (rec.to - rec.from) - rec.domSize;
815
+ var nodeAfter = lineDiv.childNodes[rec.domStart + rec.domSize + off] || null;
816
+ if (badInnerHTML)
817
+ for (var j = Math.max(-extra, rec.domSize); j > 0; --j)
818
+ lineDiv.removeChild(nodeAfter ? nodeAfter.previousSibling : lineDiv.lastChild);
819
+ else if (extra) {
820
+ for (var j = Math.max(0, extra); j > 0; --j)
821
+ lineDiv.insertBefore(targetDocument.createElement("pre"), nodeAfter);
822
+ for (var j = Math.max(0, -extra); j > 0; --j)
823
+ lineDiv.removeChild(nodeAfter ? nodeAfter.previousSibling : lineDiv.lastChild);
824
+ }
825
+ var node = lineDiv.childNodes[rec.domStart + off], inSel = sfrom < rec.from && sto >= rec.from;
826
+ for (var j = rec.from; j < rec.to; ++j) {
827
+ var ch1 = null, ch2 = null;
828
+ if (inSel) {
829
+ ch1 = 0;
830
+ if (sto == j) {inSel = false; ch2 = sel.to.ch;}
831
+ }
832
+ else if (sfrom == j) {
833
+ if (sto == j) {ch1 = sel.from.ch; ch2 = sel.to.ch;}
834
+ else {inSel = true; ch1 = sel.from.ch;}
835
+ }
836
+ if (badInnerHTML) {
837
+ scratch.innerHTML = lines[j].getHTML(ch1, ch2, true);
838
+ lineDiv.insertBefore(scratch.firstChild, nodeAfter);
839
+ }
840
+ else {
841
+ node.innerHTML = lines[j].getHTML(ch1, ch2, false);
842
+ node.className = lines[j].className || "";
843
+ node = node.nextSibling;
844
+ }
845
+ }
846
+ off += extra;
847
+ }
848
+ }
849
+
850
+ function updateGutter() {
851
+ if (!options.gutter && !options.lineNumbers) return;
852
+ var hText = mover.offsetHeight, hEditor = scroller.clientHeight;
853
+ gutter.style.height = (hText - hEditor < 2 ? hEditor : hText) + "px";
854
+ var html = [];
855
+ for (var i = showingFrom; i < Math.max(showingTo, showingFrom + 1); ++i) {
856
+ var marker = lines[i].gutterMarker;
857
+ var text = options.lineNumbers ? i + options.firstLineNumber : null;
858
+ if (marker && marker.text)
859
+ text = marker.text.replace("%N%", text != null ? text : "");
860
+ else if (text == null)
861
+ text = "\u00a0";
862
+ html.push((marker && marker.style ? '<pre class="' + marker.style + '">' : "<pre>"), text, "</pre>");
863
+ }
864
+ gutter.style.display = "none";
865
+ gutterText.innerHTML = html.join("");
866
+ var minwidth = String(lines.length).length, firstNode = gutterText.firstChild, val = eltText(firstNode), pad = "";
867
+ while (val.length + pad.length < minwidth) pad += "\u00a0";
868
+ if (pad) firstNode.insertBefore(targetDocument.createTextNode(pad), firstNode.firstChild);
869
+ gutter.style.display = "";
870
+ lineSpace.style.marginLeft = gutter.offsetWidth + "px";
871
+ }
872
+ function updateCursor() {
873
+ var head = sel.inverted ? sel.from : sel.to, lh = lineHeight();
874
+ var x = charX(head.line, head.ch) + "px", y = (head.line - showingFrom) * lh + "px";
875
+ inputDiv.style.top = (head.line * lh - scroller.scrollTop) + "px";
876
+ if (posEq(sel.from, sel.to)) {
877
+ cursor.style.top = y; cursor.style.left = x;
878
+ cursor.style.display = "";
879
+ }
880
+ else cursor.style.display = "none";
881
+ }
882
+
883
+ function setSelectionUser(from, to) {
884
+ var sh = shiftSelecting && clipPos(shiftSelecting);
885
+ if (sh) {
886
+ if (posLess(sh, from)) from = sh;
887
+ else if (posLess(to, sh)) to = sh;
888
+ }
889
+ setSelection(from, to);
890
+ }
891
+ // Update the selection. Last two args are only used by
892
+ // updateLines, since they have to be expressed in the line
893
+ // numbers before the update.
894
+ function setSelection(from, to, oldFrom, oldTo) {
895
+ if (posEq(sel.from, from) && posEq(sel.to, to)) return;
896
+ if (posLess(to, from)) {var tmp = to; to = from; from = tmp;}
897
+
898
+ if (posEq(from, to)) sel.inverted = false;
899
+ else if (posEq(from, sel.to)) sel.inverted = false;
900
+ else if (posEq(to, sel.from)) sel.inverted = true;
901
+
902
+ // Some ugly logic used to only mark the lines that actually did
903
+ // see a change in selection as changed, rather than the whole
904
+ // selected range.
905
+ if (oldFrom == null) {oldFrom = sel.from.line; oldTo = sel.to.line;}
906
+ if (posEq(from, to)) {
907
+ if (!posEq(sel.from, sel.to))
908
+ changes.push({from: oldFrom, to: oldTo + 1});
909
+ }
910
+ else if (posEq(sel.from, sel.to)) {
911
+ changes.push({from: from.line, to: to.line + 1});
912
+ }
913
+ else {
914
+ if (!posEq(from, sel.from)) {
915
+ if (from.line < oldFrom)
916
+ changes.push({from: from.line, to: Math.min(to.line, oldFrom) + 1});
917
+ else
918
+ changes.push({from: oldFrom, to: Math.min(oldTo, from.line) + 1});
919
+ }
920
+ if (!posEq(to, sel.to)) {
921
+ if (to.line < oldTo)
922
+ changes.push({from: Math.max(oldFrom, from.line), to: oldTo + 1});
923
+ else
924
+ changes.push({from: Math.max(from.line, oldTo), to: to.line + 1});
925
+ }
926
+ }
927
+ sel.from = from; sel.to = to;
928
+ selectionChanged = true;
929
+ }
930
+ function setCursor(line, ch, user) {
931
+ var pos = clipPos({line: line, ch: ch || 0});
932
+ (user ? setSelectionUser : setSelection)(pos, pos);
933
+ }
934
+
935
+ function clipLine(n) {return Math.max(0, Math.min(n, lines.length-1));}
936
+ function clipPos(pos) {
937
+ if (pos.line < 0) return {line: 0, ch: 0};
938
+ if (pos.line >= lines.length) return {line: lines.length-1, ch: lines[lines.length-1].text.length};
939
+ var ch = pos.ch, linelen = lines[pos.line].text.length;
940
+ if (ch == null || ch > linelen) return {line: pos.line, ch: linelen};
941
+ else if (ch < 0) return {line: pos.line, ch: 0};
942
+ else return pos;
943
+ }
944
+
945
+ function scrollPage(down) {
946
+ var linesPerPage = Math.floor(scroller.clientHeight / lineHeight()), head = sel.inverted ? sel.from : sel.to;
947
+ setCursor(head.line + (Math.max(linesPerPage - 1, 1) * (down ? 1 : -1)), head.ch, true);
948
+ }
949
+ function scrollEnd(top) {
950
+ var pos = top ? {line: 0, ch: 0} : {line: lines.length - 1, ch: lines[lines.length-1].text.length};
951
+ setSelectionUser(pos, pos);
952
+ }
953
+ function selectAll() {
954
+ var endLine = lines.length - 1;
955
+ setSelection({line: 0, ch: 0}, {line: endLine, ch: lines[endLine].text.length});
956
+ }
957
+ function selectWordAt(pos) {
958
+ var line = lines[pos.line].text;
959
+ var start = pos.ch, end = pos.ch;
960
+ while (start > 0 && /\w/.test(line.charAt(start - 1))) --start;
961
+ while (end < line.length && /\w/.test(line.charAt(end))) ++end;
962
+ setSelectionUser({line: pos.line, ch: start}, {line: pos.line, ch: end});
963
+ }
964
+ function selectLine(line) {
965
+ setSelectionUser({line: line, ch: 0}, {line: line, ch: lines[line].text.length});
966
+ }
967
+ function handleEnter() {
968
+ replaceSelection("\n", "end");
969
+ if (options.enterMode != "flat")
970
+ indentLine(sel.from.line, options.enterMode == "keep" ? "prev" : "smart");
971
+ }
972
+ function handleTab(shift) {
973
+ function indentSelected(mode) {
974
+ if (posEq(sel.from, sel.to)) return indentLine(sel.from.line, mode);
975
+ var e = sel.to.line - (sel.to.ch ? 0 : 1);
976
+ for (var i = sel.from.line; i <= e; ++i) indentLine(i, mode);
977
+ }
978
+ shiftSelecting = null;
979
+ switch (options.tabMode) {
980
+ case "default":
981
+ return false;
982
+ case "indent":
983
+ indentSelected("smart");
984
+ break;
985
+ case "classic":
986
+ if (posEq(sel.from, sel.to)) {
987
+ if (shift) indentLine(sel.from.line, "smart");
988
+ else replaceSelection("\t", "end");
989
+ break;
990
+ }
991
+ case "shift":
992
+ indentSelected(shift ? "subtract" : "add");
993
+ break;
994
+ }
995
+ return true;
996
+ }
997
+
998
+ function indentLine(n, how) {
999
+ if (how == "smart") {
1000
+ if (!mode.indent) how = "prev";
1001
+ else var state = getStateBefore(n);
1002
+ }
1003
+
1004
+ var line = lines[n], curSpace = line.indentation(), curSpaceString = line.text.match(/^\s*/)[0], indentation;
1005
+ if (how == "prev") {
1006
+ if (n) indentation = lines[n-1].indentation();
1007
+ else indentation = 0;
1008
+ }
1009
+ else if (how == "smart") indentation = mode.indent(state, line.text.slice(curSpaceString.length));
1010
+ else if (how == "add") indentation = curSpace + options.indentUnit;
1011
+ else if (how == "subtract") indentation = curSpace - options.indentUnit;
1012
+ indentation = Math.max(0, indentation);
1013
+ var diff = indentation - curSpace;
1014
+
1015
+ if (!diff) {
1016
+ if (sel.from.line != n && sel.to.line != n) return;
1017
+ var indentString = curSpaceString;
1018
+ }
1019
+ else {
1020
+ var indentString = "", pos = 0;
1021
+ if (options.indentWithTabs)
1022
+ for (var i = Math.floor(indentation / tabSize); i; --i) {pos += tabSize; indentString += "\t";}
1023
+ while (pos < indentation) {++pos; indentString += " ";}
1024
+ }
1025
+
1026
+ replaceRange(indentString, {line: n, ch: 0}, {line: n, ch: curSpaceString.length});
1027
+ }
1028
+
1029
+ function loadMode() {
1030
+ mode = CodeMirror.getMode(options, options.mode);
1031
+ for (var i = 0, l = lines.length; i < l; ++i)
1032
+ lines[i].stateAfter = null;
1033
+ work = [0];
1034
+ startWorker();
1035
+ }
1036
+ function gutterChanged() {
1037
+ var visible = options.gutter || options.lineNumbers;
1038
+ gutter.style.display = visible ? "" : "none";
1039
+ if (visible) updateGutter();
1040
+ else lineDiv.parentNode.style.marginLeft = 0;
1041
+ }
1042
+
1043
+ function markText(from, to, className) {
1044
+ from = clipPos(from); to = clipPos(to);
1045
+ var accum = [];
1046
+ function add(line, from, to, className) {
1047
+ var line = lines[line], mark = line.addMark(from, to, className);
1048
+ mark.line = line;
1049
+ accum.push(mark);
1050
+ }
1051
+ if (from.line == to.line) add(from.line, from.ch, to.ch, className);
1052
+ else {
1053
+ add(from.line, from.ch, null, className);
1054
+ for (var i = from.line + 1, e = to.line; i < e; ++i)
1055
+ add(i, 0, null, className);
1056
+ add(to.line, 0, to.ch, className);
1057
+ }
1058
+ changes.push({from: from.line, to: to.line + 1});
1059
+ return function() {
1060
+ var start, end;
1061
+ for (var i = 0; i < accum.length; ++i) {
1062
+ var mark = accum[i], found = indexOf(lines, mark.line);
1063
+ mark.line.removeMark(mark);
1064
+ if (found > -1) {
1065
+ if (start == null) start = found;
1066
+ end = found;
1067
+ }
1068
+ }
1069
+ if (start != null) changes.push({from: start, to: end + 1});
1070
+ };
1071
+ }
1072
+
1073
+ function addGutterMarker(line, text, className) {
1074
+ if (typeof line == "number") line = lines[clipLine(line)];
1075
+ line.gutterMarker = {text: text, style: className};
1076
+ updateGutter();
1077
+ return line;
1078
+ }
1079
+ function removeGutterMarker(line) {
1080
+ if (typeof line == "number") line = lines[clipLine(line)];
1081
+ line.gutterMarker = null;
1082
+ updateGutter();
1083
+ }
1084
+ function setLineClass(line, className) {
1085
+ if (typeof line == "number") {
1086
+ var no = line;
1087
+ line = lines[clipLine(line)];
1088
+ }
1089
+ else {
1090
+ var no = indexOf(lines, line);
1091
+ if (no == -1) return null;
1092
+ }
1093
+ if (line.className != className) {
1094
+ line.className = className;
1095
+ changes.push({from: no, to: no + 1});
1096
+ }
1097
+ return line;
1098
+ }
1099
+
1100
+ function lineInfo(line) {
1101
+ if (typeof line == "number") {
1102
+ var n = line;
1103
+ line = lines[line];
1104
+ if (!line) return null;
1105
+ }
1106
+ else {
1107
+ var n = indexOf(lines, line);
1108
+ if (n == -1) return null;
1109
+ }
1110
+ var marker = line.gutterMarker;
1111
+ return {line: n, text: line.text, markerText: marker && marker.text, markerClass: marker && marker.style};
1112
+ }
1113
+
1114
+ function stringWidth(str) {
1115
+ measure.innerHTML = "<pre><span>x</span></pre>";
1116
+ measure.firstChild.firstChild.firstChild.nodeValue = str;
1117
+ return measure.firstChild.firstChild.offsetWidth || 10;
1118
+ }
1119
+ // These are used to go from pixel positions to character
1120
+ // positions, taking varying character widths into account.
1121
+ function charX(line, pos) {
1122
+ if (pos == 0) return 0;
1123
+ measure.innerHTML = "<pre><span>" + lines[line].getHTML(null, null, false, pos) + "</span></pre>";
1124
+ return measure.firstChild.firstChild.offsetWidth;
1125
+ }
1126
+ function charFromX(line, x) {
1127
+ if (x <= 0) return 0;
1128
+ var lineObj = lines[line], text = lineObj.text;
1129
+ function getX(len) {
1130
+ measure.innerHTML = "<pre><span>" + lineObj.getHTML(null, null, false, len) + "</span></pre>";
1131
+ return measure.firstChild.firstChild.offsetWidth;
1132
+ }
1133
+ var from = 0, fromX = 0, to = text.length, toX;
1134
+ // Guess a suitable upper bound for our search.
1135
+ var estimated = Math.min(to, Math.ceil(x / stringWidth("x")));
1136
+ for (;;) {
1137
+ var estX = getX(estimated);
1138
+ if (estX <= x && estimated < to) estimated = Math.min(to, Math.ceil(estimated * 1.2));
1139
+ else {toX = estX; to = estimated; break;}
1140
+ }
1141
+ if (x > toX) return to;
1142
+ // Try to guess a suitable lower bound as well.
1143
+ estimated = Math.floor(to * 0.8); estX = getX(estimated);
1144
+ if (estX < x) {from = estimated; fromX = estX;}
1145
+ // Do a binary search between these bounds.
1146
+ for (;;) {
1147
+ if (to - from <= 1) return (toX - x > x - fromX) ? from : to;
1148
+ var middle = Math.ceil((from + to) / 2), middleX = getX(middle);
1149
+ if (middleX > x) {to = middle; toX = middleX;}
1150
+ else {from = middle; fromX = middleX;}
1151
+ }
1152
+ }
1153
+
1154
+ function localCoords(pos, inLineWrap) {
1155
+ var lh = lineHeight(), line = pos.line - (inLineWrap ? showingFrom : 0);
1156
+ return {x: charX(pos.line, pos.ch), y: line * lh, yBot: (line + 1) * lh};
1157
+ }
1158
+ function pageCoords(pos) {
1159
+ var local = localCoords(pos, true), off = eltOffset(lineSpace);
1160
+ return {x: off.left + local.x, y: off.top + local.y, yBot: off.top + local.yBot};
1161
+ }
1162
+
1163
+ function lineHeight() {
1164
+ var nlines = lineDiv.childNodes.length;
1165
+ if (nlines) return (lineDiv.offsetHeight / nlines) || 1;
1166
+ measure.innerHTML = "<pre>x</pre>";
1167
+ return measure.firstChild.offsetHeight || 1;
1168
+ }
1169
+ function paddingTop() {return lineSpace.offsetTop;}
1170
+ function paddingLeft() {return lineSpace.offsetLeft;}
1171
+
1172
+ function posFromMouse(e, liberal) {
1173
+ var offW = eltOffset(scroller, true), x, y;
1174
+ // Fails unpredictably on IE[67] when mouse is dragged around quickly.
1175
+ try { x = e.clientX; y = e.clientY; } catch (e) { return null; }
1176
+ // This is a mess of a heuristic to try and determine whether a
1177
+ // scroll-bar was clicked or not, and to return null if one was
1178
+ // (and !liberal).
1179
+ if (!liberal && (x - offW.left > scroller.clientWidth || y - offW.top > scroller.clientHeight))
1180
+ return null;
1181
+ var offL = eltOffset(lineSpace, true);
1182
+ var line = showingFrom + Math.floor((y - offL.top) / lineHeight());
1183
+ return clipPos({line: line, ch: charFromX(clipLine(line), x - offL.left)});
1184
+ }
1185
+ function onContextMenu(e) {
1186
+ var pos = posFromMouse(e);
1187
+ if (!pos || window.opera) return; // Opera is difficult.
1188
+ if (posEq(sel.from, sel.to) || posLess(pos, sel.from) || !posLess(pos, sel.to))
1189
+ operation(setCursor)(pos.line, pos.ch);
1190
+
1191
+ var oldCSS = input.style.cssText;
1192
+ inputDiv.style.position = "absolute";
1193
+ input.style.cssText = "position: fixed; width: 30px; height: 30px; top: " + (e_pageY(e) - 1) +
1194
+ "px; left: " + (e_pageX(e) - 1) + "px; z-index: 1000; background: white; " +
1195
+ "border-width: 0; outline: none; overflow: hidden; opacity: .05; filter: alpha(opacity=5);";
1196
+ leaveInputAlone = true;
1197
+ var val = input.value = getSelection();
1198
+ focusInput();
1199
+ setSelRange(input, 0, input.value.length);
1200
+ function rehide() {
1201
+ var newVal = splitLines(input.value).join("\n");
1202
+ if (newVal != val) operation(replaceSelection)(newVal, "end");
1203
+ inputDiv.style.position = "relative";
1204
+ input.style.cssText = oldCSS;
1205
+ leaveInputAlone = false;
1206
+ prepareInput();
1207
+ slowPoll();
1208
+ }
1209
+
1210
+ if (gecko) {
1211
+ e_stop(e);
1212
+ var mouseup = connect(window, "mouseup", function() {
1213
+ mouseup();
1214
+ setTimeout(rehide, 20);
1215
+ }, true);
1216
+ }
1217
+ else {
1218
+ setTimeout(rehide, 50);
1219
+ }
1220
+ }
1221
+
1222
+ // Cursor-blinking
1223
+ function restartBlink() {
1224
+ clearInterval(blinker);
1225
+ var on = true;
1226
+ cursor.style.visibility = "";
1227
+ blinker = setInterval(function() {
1228
+ cursor.style.visibility = (on = !on) ? "" : "hidden";
1229
+ }, 650);
1230
+ }
1231
+
1232
+ var matching = {"(": ")>", ")": "(<", "[": "]>", "]": "[<", "{": "}>", "}": "{<"};
1233
+ function matchBrackets(autoclear) {
1234
+ var head = sel.inverted ? sel.from : sel.to, line = lines[head.line], pos = head.ch - 1;
1235
+ var match = (pos >= 0 && matching[line.text.charAt(pos)]) || matching[line.text.charAt(++pos)];
1236
+ if (!match) return;
1237
+ var ch = match.charAt(0), forward = match.charAt(1) == ">", d = forward ? 1 : -1, st = line.styles;
1238
+ for (var off = pos + 1, i = 0, e = st.length; i < e; i+=2)
1239
+ if ((off -= st[i].length) <= 0) {var style = st[i+1]; break;}
1240
+
1241
+ var stack = [line.text.charAt(pos)], re = /[(){}[\]]/;
1242
+ function scan(line, from, to) {
1243
+ if (!line.text) return;
1244
+ var st = line.styles, pos = forward ? 0 : line.text.length - 1, cur;
1245
+ for (var i = forward ? 0 : st.length - 2, e = forward ? st.length : -2; i != e; i += 2*d) {
1246
+ var text = st[i];
1247
+ if (st[i+1] != null && st[i+1] != style) {pos += d * text.length; continue;}
1248
+ for (var j = forward ? 0 : text.length - 1, te = forward ? text.length : -1; j != te; j += d, pos+=d) {
1249
+ if (pos >= from && pos < to && re.test(cur = text.charAt(j))) {
1250
+ var match = matching[cur];
1251
+ if (match.charAt(1) == ">" == forward) stack.push(cur);
1252
+ else if (stack.pop() != match.charAt(0)) return {pos: pos, match: false};
1253
+ else if (!stack.length) return {pos: pos, match: true};
1254
+ }
1255
+ }
1256
+ }
1257
+ }
1258
+ for (var i = head.line, e = forward ? Math.min(i + 100, lines.length) : Math.max(-1, i - 100); i != e; i+=d) {
1259
+ var line = lines[i], first = i == head.line;
1260
+ var found = scan(line, first && forward ? pos + 1 : 0, first && !forward ? pos : line.text.length);
1261
+ if (found) break;
1262
+ }
1263
+ if (!found) found = {pos: null, match: false};
1264
+ var style = found.match ? "CodeMirror-matchingbracket" : "CodeMirror-nonmatchingbracket";
1265
+ var one = markText({line: head.line, ch: pos}, {line: head.line, ch: pos+1}, style),
1266
+ two = found.pos != null
1267
+ ? markText({line: i, ch: found.pos}, {line: i, ch: found.pos + 1}, style)
1268
+ : function() {};
1269
+ var clear = operation(function(){one(); two();});
1270
+ if (autoclear) setTimeout(clear, 800);
1271
+ else bracketHighlighted = clear;
1272
+ }
1273
+
1274
+ // Finds the line to start with when starting a parse. Tries to
1275
+ // find a line with a stateAfter, so that it can start with a
1276
+ // valid state. If that fails, it returns the line with the
1277
+ // smallest indentation, which tends to need the least context to
1278
+ // parse correctly.
1279
+ function findStartLine(n) {
1280
+ var minindent, minline;
1281
+ for (var search = n, lim = n - 40; search > lim; --search) {
1282
+ if (search == 0) return 0;
1283
+ var line = lines[search-1];
1284
+ if (line.stateAfter) return search;
1285
+ var indented = line.indentation();
1286
+ if (minline == null || minindent > indented) {
1287
+ minline = search;
1288
+ minindent = indented;
1289
+ }
1290
+ }
1291
+ return minline;
1292
+ }
1293
+ function getStateBefore(n) {
1294
+ var start = findStartLine(n), state = start && lines[start-1].stateAfter;
1295
+ if (!state) state = startState(mode);
1296
+ else state = copyState(mode, state);
1297
+ for (var i = start; i < n; ++i) {
1298
+ var line = lines[i];
1299
+ line.highlight(mode, state);
1300
+ line.stateAfter = copyState(mode, state);
1301
+ }
1302
+ if (n < lines.length && !lines[n].stateAfter) work.push(n);
1303
+ return state;
1304
+ }
1305
+ function highlightLines(start, end) {
1306
+ var state = getStateBefore(start);
1307
+ for (var i = start; i < end; ++i) {
1308
+ var line = lines[i];
1309
+ line.highlight(mode, state);
1310
+ line.stateAfter = copyState(mode, state);
1311
+ }
1312
+ }
1313
+ function highlightWorker() {
1314
+ var end = +new Date + options.workTime;
1315
+ var foundWork = work.length;
1316
+ while (work.length) {
1317
+ if (!lines[showingFrom].stateAfter) var task = showingFrom;
1318
+ else var task = work.pop();
1319
+ if (task >= lines.length) continue;
1320
+ var start = findStartLine(task), state = start && lines[start-1].stateAfter;
1321
+ if (state) state = copyState(mode, state);
1322
+ else state = startState(mode);
1323
+
1324
+ var unchanged = 0, compare = mode.compareStates;
1325
+ for (var i = start, l = lines.length; i < l; ++i) {
1326
+ var line = lines[i], hadState = line.stateAfter;
1327
+ if (+new Date > end) {
1328
+ work.push(i);
1329
+ startWorker(options.workDelay);
1330
+ changes.push({from: task, to: i + 1});
1331
+ return;
1332
+ }
1333
+ var changed = line.highlight(mode, state);
1334
+ line.stateAfter = copyState(mode, state);
1335
+ if (compare) {
1336
+ if (hadState && compare(hadState, state)) break;
1337
+ } else {
1338
+ if (changed || !hadState) unchanged = 0;
1339
+ else if (++unchanged > 3) break;
1340
+ }
1341
+ }
1342
+ changes.push({from: task, to: i + 1});
1343
+ }
1344
+ if (foundWork && options.onHighlightComplete)
1345
+ options.onHighlightComplete(instance);
1346
+ }
1347
+ function startWorker(time) {
1348
+ if (!work.length) return;
1349
+ highlight.set(time, operation(highlightWorker));
1350
+ }
1351
+
1352
+ // Operations are used to wrap changes in such a way that each
1353
+ // change won't have to update the cursor and display (which would
1354
+ // be awkward, slow, and error-prone), but instead updates are
1355
+ // batched and then all combined and executed at once.
1356
+ function startOperation() {
1357
+ updateInput = null; changes = []; textChanged = selectionChanged = false;
1358
+ }
1359
+ function endOperation() {
1360
+ var reScroll = false;
1361
+ if (selectionChanged) reScroll = !scrollCursorIntoView();
1362
+ if (changes.length) updateDisplay(changes);
1363
+ else if (selectionChanged) updateCursor();
1364
+ if (reScroll) scrollCursorIntoView();
1365
+ if (selectionChanged) restartBlink();
1366
+
1367
+ // updateInput can be set to a boolean value to force/prevent an
1368
+ // update.
1369
+ if (focused && !leaveInputAlone &&
1370
+ (updateInput === true || (updateInput !== false && selectionChanged)))
1371
+ prepareInput();
1372
+
1373
+ if (selectionChanged && options.matchBrackets)
1374
+ setTimeout(operation(function() {
1375
+ if (bracketHighlighted) {bracketHighlighted(); bracketHighlighted = null;}
1376
+ matchBrackets(false);
1377
+ }), 20);
1378
+ var tc = textChanged; // textChanged can be reset by cursoractivity callback
1379
+ if (selectionChanged && options.onCursorActivity)
1380
+ options.onCursorActivity(instance);
1381
+ if (tc && options.onChange && instance)
1382
+ options.onChange(instance, tc);
1383
+ }
1384
+ var nestedOperation = 0;
1385
+ function operation(f) {
1386
+ return function() {
1387
+ if (!nestedOperation++) startOperation();
1388
+ try {var result = f.apply(this, arguments);}
1389
+ finally {if (!--nestedOperation) endOperation();}
1390
+ return result;
1391
+ };
1392
+ }
1393
+
1394
+ function SearchCursor(query, pos, caseFold) {
1395
+ this.atOccurrence = false;
1396
+ if (caseFold == null) caseFold = typeof query == "string" && query == query.toLowerCase();
1397
+
1398
+ if (pos && typeof pos == "object") pos = clipPos(pos);
1399
+ else pos = {line: 0, ch: 0};
1400
+ this.pos = {from: pos, to: pos};
1401
+
1402
+ // The matches method is filled in based on the type of query.
1403
+ // It takes a position and a direction, and returns an object
1404
+ // describing the next occurrence of the query, or null if no
1405
+ // more matches were found.
1406
+ if (typeof query != "string") // Regexp match
1407
+ this.matches = function(reverse, pos) {
1408
+ if (reverse) {
1409
+ var line = lines[pos.line].text.slice(0, pos.ch), match = line.match(query), start = 0;
1410
+ while (match) {
1411
+ var ind = line.indexOf(match[0]);
1412
+ start += ind;
1413
+ line = line.slice(ind + 1);
1414
+ var newmatch = line.match(query);
1415
+ if (newmatch) match = newmatch;
1416
+ else break;
1417
+ start++;
1418
+ }
1419
+ }
1420
+ else {
1421
+ var line = lines[pos.line].text.slice(pos.ch), match = line.match(query),
1422
+ start = match && pos.ch + line.indexOf(match[0]);
1423
+ }
1424
+ if (match)
1425
+ return {from: {line: pos.line, ch: start},
1426
+ to: {line: pos.line, ch: start + match[0].length},
1427
+ match: match};
1428
+ };
1429
+ else { // String query
1430
+ if (caseFold) query = query.toLowerCase();
1431
+ var fold = caseFold ? function(str){return str.toLowerCase();} : function(str){return str;};
1432
+ var target = query.split("\n");
1433
+ // Different methods for single-line and multi-line queries
1434
+ if (target.length == 1)
1435
+ this.matches = function(reverse, pos) {
1436
+ var line = fold(lines[pos.line].text), len = query.length, match;
1437
+ if (reverse ? (pos.ch >= len && (match = line.lastIndexOf(query, pos.ch - len)) != -1)
1438
+ : (match = line.indexOf(query, pos.ch)) != -1)
1439
+ return {from: {line: pos.line, ch: match},
1440
+ to: {line: pos.line, ch: match + len}};
1441
+ };
1442
+ else
1443
+ this.matches = function(reverse, pos) {
1444
+ var ln = pos.line, idx = (reverse ? target.length - 1 : 0), match = target[idx], line = fold(lines[ln].text);
1445
+ var offsetA = (reverse ? line.indexOf(match) + match.length : line.lastIndexOf(match));
1446
+ if (reverse ? offsetA >= pos.ch || offsetA != match.length
1447
+ : offsetA <= pos.ch || offsetA != line.length - match.length)
1448
+ return;
1449
+ for (;;) {
1450
+ if (reverse ? !ln : ln == lines.length - 1) return;
1451
+ line = fold(lines[ln += reverse ? -1 : 1].text);
1452
+ match = target[reverse ? --idx : ++idx];
1453
+ if (idx > 0 && idx < target.length - 1) {
1454
+ if (line != match) return;
1455
+ else continue;
1456
+ }
1457
+ var offsetB = (reverse ? line.lastIndexOf(match) : line.indexOf(match) + match.length);
1458
+ if (reverse ? offsetB != line.length - match.length : offsetB != match.length)
1459
+ return;
1460
+ var start = {line: pos.line, ch: offsetA}, end = {line: ln, ch: offsetB};
1461
+ return {from: reverse ? end : start, to: reverse ? start : end};
1462
+ }
1463
+ };
1464
+ }
1465
+ }
1466
+
1467
+ SearchCursor.prototype = {
1468
+ findNext: function() {return this.find(false);},
1469
+ findPrevious: function() {return this.find(true);},
1470
+
1471
+ find: function(reverse) {
1472
+ var self = this, pos = clipPos(reverse ? this.pos.from : this.pos.to);
1473
+ function savePosAndFail(line) {
1474
+ var pos = {line: line, ch: 0};
1475
+ self.pos = {from: pos, to: pos};
1476
+ self.atOccurrence = false;
1477
+ return false;
1478
+ }
1479
+
1480
+ for (;;) {
1481
+ if (this.pos = this.matches(reverse, pos)) {
1482
+ this.atOccurrence = true;
1483
+ return this.pos.match || true;
1484
+ }
1485
+ if (reverse) {
1486
+ if (!pos.line) return savePosAndFail(0);
1487
+ pos = {line: pos.line-1, ch: lines[pos.line-1].text.length};
1488
+ }
1489
+ else {
1490
+ if (pos.line == lines.length - 1) return savePosAndFail(lines.length);
1491
+ pos = {line: pos.line+1, ch: 0};
1492
+ }
1493
+ }
1494
+ },
1495
+
1496
+ from: function() {if (this.atOccurrence) return copyPos(this.pos.from);},
1497
+ to: function() {if (this.atOccurrence) return copyPos(this.pos.to);},
1498
+
1499
+ replace: function(newText) {
1500
+ var self = this;
1501
+ if (this.atOccurrence)
1502
+ operation(function() {
1503
+ self.pos.to = replaceRange(newText, self.pos.from, self.pos.to);
1504
+ })();
1505
+ }
1506
+ };
1507
+
1508
+ for (var ext in extensions)
1509
+ if (extensions.propertyIsEnumerable(ext) &&
1510
+ !instance.propertyIsEnumerable(ext))
1511
+ instance[ext] = extensions[ext];
1512
+ return instance;
1513
+ } // (end of function CodeMirror)
1514
+
1515
+ // The default configuration options.
1516
+ CodeMirror.defaults = {
1517
+ value: "",
1518
+ mode: null,
1519
+ theme: "default",
1520
+ indentUnit: 2,
1521
+ indentWithTabs: false,
1522
+ tabMode: "classic",
1523
+ enterMode: "indent",
1524
+ electricChars: true,
1525
+ onKeyEvent: null,
1526
+ lineNumbers: false,
1527
+ gutter: false,
1528
+ firstLineNumber: 1,
1529
+ readOnly: false,
1530
+ onChange: null,
1531
+ onCursorActivity: null,
1532
+ onGutterClick: null,
1533
+ onHighlightComplete: null,
1534
+ onFocus: null, onBlur: null, onScroll: null,
1535
+ matchBrackets: false,
1536
+ workTime: 100,
1537
+ workDelay: 200,
1538
+ undoDepth: 40,
1539
+ tabindex: null,
1540
+ document: window.document
1541
+ };
1542
+
1543
+ // Known modes, by name and by MIME
1544
+ var modes = {}, mimeModes = {};
1545
+ CodeMirror.defineMode = function(name, mode) {
1546
+ if (!CodeMirror.defaults.mode && name != "null") CodeMirror.defaults.mode = name;
1547
+ modes[name] = mode;
1548
+ };
1549
+ CodeMirror.defineMIME = function(mime, spec) {
1550
+ mimeModes[mime] = spec;
1551
+ };
1552
+ CodeMirror.getMode = function(options, spec) {
1553
+ if (typeof spec == "string" && mimeModes.hasOwnProperty(spec))
1554
+ spec = mimeModes[spec];
1555
+ if (typeof spec == "string")
1556
+ var mname = spec, config = {};
1557
+ else if (spec != null)
1558
+ var mname = spec.name, config = spec;
1559
+ var mfactory = modes[mname];
1560
+ if (!mfactory) {
1561
+ if (window.console) console.warn("No mode " + mname + " found, falling back to plain text.");
1562
+ return CodeMirror.getMode(options, "text/plain");
1563
+ }
1564
+ return mfactory(options, config || {});
1565
+ };
1566
+ CodeMirror.listModes = function() {
1567
+ var list = [];
1568
+ for (var m in modes)
1569
+ if (modes.propertyIsEnumerable(m)) list.push(m);
1570
+ return list;
1571
+ };
1572
+ CodeMirror.listMIMEs = function() {
1573
+ var list = [];
1574
+ for (var m in mimeModes)
1575
+ if (mimeModes.propertyIsEnumerable(m)) list.push(m);
1576
+ return list;
1577
+ };
1578
+
1579
+ var extensions = {};
1580
+ CodeMirror.defineExtension = function(name, func) {
1581
+ extensions[name] = func;
1582
+ };
1583
+
1584
+ CodeMirror.fromTextArea = function(textarea, options) {
1585
+ if (!options) options = {};
1586
+ options.value = textarea.value;
1587
+ if (!options.tabindex && textarea.tabindex)
1588
+ options.tabindex = textarea.tabindex;
1589
+
1590
+ function save() {textarea.value = instance.getValue();}
1591
+ if (textarea.form) {
1592
+ // Deplorable hack to make the submit method do the right thing.
1593
+ var rmSubmit = connect(textarea.form, "submit", save, true);
1594
+ if (typeof textarea.form.submit == "function") {
1595
+ var realSubmit = textarea.form.submit;
1596
+ function wrappedSubmit() {
1597
+ save();
1598
+ textarea.form.submit = realSubmit;
1599
+ textarea.form.submit();
1600
+ textarea.form.submit = wrappedSubmit;
1601
+ }
1602
+ textarea.form.submit = wrappedSubmit;
1603
+ }
1604
+ }
1605
+
1606
+ textarea.style.display = "none";
1607
+ var instance = CodeMirror(function(node) {
1608
+ textarea.parentNode.insertBefore(node, textarea.nextSibling);
1609
+ }, options);
1610
+ instance.save = save;
1611
+ instance.toTextArea = function() {
1612
+ save();
1613
+ textarea.parentNode.removeChild(instance.getWrapperElement());
1614
+ textarea.style.display = "";
1615
+ if (textarea.form) {
1616
+ rmSubmit();
1617
+ if (typeof textarea.form.submit == "function")
1618
+ textarea.form.submit = realSubmit;
1619
+ }
1620
+ };
1621
+ return instance;
1622
+ };
1623
+
1624
+ // Utility functions for working with state. Exported because modes
1625
+ // sometimes need to do this.
1626
+ function copyState(mode, state) {
1627
+ if (state === true) return state;
1628
+ if (mode.copyState) return mode.copyState(state);
1629
+ var nstate = {};
1630
+ for (var n in state) {
1631
+ var val = state[n];
1632
+ if (val instanceof Array) val = val.concat([]);
1633
+ nstate[n] = val;
1634
+ }
1635
+ return nstate;
1636
+ }
1637
+ CodeMirror.startState = startState;
1638
+ function startState(mode, a1, a2) {
1639
+ return mode.startState ? mode.startState(a1, a2) : true;
1640
+ }
1641
+ CodeMirror.copyState = copyState;
1642
+
1643
+ // The character stream used by a mode's parser.
1644
+ function StringStream(string) {
1645
+ this.pos = this.start = 0;
1646
+ this.string = string;
1647
+ }
1648
+ StringStream.prototype = {
1649
+ eol: function() {return this.pos >= this.string.length;},
1650
+ sol: function() {return this.pos == 0;},
1651
+ peek: function() {return this.string.charAt(this.pos);},
1652
+ next: function() {
1653
+ if (this.pos < this.string.length)
1654
+ return this.string.charAt(this.pos++);
1655
+ },
1656
+ eat: function(match) {
1657
+ var ch = this.string.charAt(this.pos);
1658
+ if (typeof match == "string") var ok = ch == match;
1659
+ else var ok = ch && (match.test ? match.test(ch) : match(ch));
1660
+ if (ok) {++this.pos; return ch;}
1661
+ },
1662
+ eatWhile: function(match) {
1663
+ var start = this.start;
1664
+ while (this.eat(match)){}
1665
+ return this.pos > start;
1666
+ },
1667
+ eatSpace: function() {
1668
+ var start = this.pos;
1669
+ while (/[\s\u00a0]/.test(this.string.charAt(this.pos))) ++this.pos;
1670
+ return this.pos > start;
1671
+ },
1672
+ skipToEnd: function() {this.pos = this.string.length;},
1673
+ skipTo: function(ch) {
1674
+ var found = this.string.indexOf(ch, this.pos);
1675
+ if (found > -1) {this.pos = found; return true;}
1676
+ },
1677
+ backUp: function(n) {this.pos -= n;},
1678
+ column: function() {return countColumn(this.string, this.start);},
1679
+ indentation: function() {return countColumn(this.string);},
1680
+ match: function(pattern, consume, caseInsensitive) {
1681
+ if (typeof pattern == "string") {
1682
+ function cased(str) {return caseInsensitive ? str.toLowerCase() : str;}
1683
+ if (cased(this.string).indexOf(cased(pattern), this.pos) == this.pos) {
1684
+ if (consume !== false) this.pos += pattern.length;
1685
+ return true;
1686
+ }
1687
+ }
1688
+ else {
1689
+ var match = this.string.slice(this.pos).match(pattern);
1690
+ if (match && consume !== false) this.pos += match[0].length;
1691
+ return match;
1692
+ }
1693
+ },
1694
+ current: function(){return this.string.slice(this.start, this.pos);}
1695
+ };
1696
+ CodeMirror.StringStream = StringStream;
1697
+
1698
+ // Line objects. These hold state related to a line, including
1699
+ // highlighting info (the styles array).
1700
+ function Line(text, styles) {
1701
+ this.styles = styles || [text, null];
1702
+ this.stateAfter = null;
1703
+ this.text = text;
1704
+ this.marked = this.gutterMarker = this.className = null;
1705
+ }
1706
+ Line.prototype = {
1707
+ // Replace a piece of a line, keeping the styles around it intact.
1708
+ replace: function(from, to, text) {
1709
+ var st = [], mk = this.marked;
1710
+ copyStyles(0, from, this.styles, st);
1711
+ if (text) st.push(text, null);
1712
+ copyStyles(to, this.text.length, this.styles, st);
1713
+ this.styles = st;
1714
+ this.text = this.text.slice(0, from) + text + this.text.slice(to);
1715
+ this.stateAfter = null;
1716
+ if (mk) {
1717
+ var diff = text.length - (to - from), end = this.text.length;
1718
+ function fix(n) {return n <= Math.min(to, to + diff) ? n : n + diff;}
1719
+ for (var i = 0; i < mk.length; ++i) {
1720
+ var mark = mk[i], del = false;
1721
+ if (mark.from >= end) del = true;
1722
+ else {mark.from = fix(mark.from); if (mark.to != null) mark.to = fix(mark.to);}
1723
+ if (del || mark.from >= mark.to) {mk.splice(i, 1); i--;}
1724
+ }
1725
+ }
1726
+ },
1727
+ // Split a line in two, again keeping styles intact.
1728
+ split: function(pos, textBefore) {
1729
+ var st = [textBefore, null];
1730
+ copyStyles(pos, this.text.length, this.styles, st);
1731
+ return new Line(textBefore + this.text.slice(pos), st);
1732
+ },
1733
+ addMark: function(from, to, style) {
1734
+ var mk = this.marked, mark = {from: from, to: to, style: style};
1735
+ if (this.marked == null) this.marked = [];
1736
+ this.marked.push(mark);
1737
+ this.marked.sort(function(a, b){return a.from - b.from;});
1738
+ return mark;
1739
+ },
1740
+ removeMark: function(mark) {
1741
+ var mk = this.marked;
1742
+ if (!mk) return;
1743
+ for (var i = 0; i < mk.length; ++i)
1744
+ if (mk[i] == mark) {mk.splice(i, 1); break;}
1745
+ },
1746
+ // Run the given mode's parser over a line, update the styles
1747
+ // array, which contains alternating fragments of text and CSS
1748
+ // classes.
1749
+ highlight: function(mode, state) {
1750
+ var stream = new StringStream(this.text), st = this.styles, pos = 0;
1751
+ var changed = false, curWord = st[0], prevWord;
1752
+ if (this.text == "" && mode.blankLine) mode.blankLine(state);
1753
+ while (!stream.eol()) {
1754
+ var style = mode.token(stream, state);
1755
+ var substr = this.text.slice(stream.start, stream.pos);
1756
+ stream.start = stream.pos;
1757
+ if (pos && st[pos-1] == style)
1758
+ st[pos-2] += substr;
1759
+ else if (substr) {
1760
+ if (!changed && (st[pos+1] != style || (pos && st[pos-2] != prevWord))) changed = true;
1761
+ st[pos++] = substr; st[pos++] = style;
1762
+ prevWord = curWord; curWord = st[pos];
1763
+ }
1764
+ // Give up when line is ridiculously long
1765
+ if (stream.pos > 5000) {
1766
+ st[pos++] = this.text.slice(stream.pos); st[pos++] = null;
1767
+ break;
1768
+ }
1769
+ }
1770
+ if (st.length != pos) {st.length = pos; changed = true;}
1771
+ if (pos && st[pos-2] != prevWord) changed = true;
1772
+ // Short lines with simple highlights always count as changed,
1773
+ // because they are likely to highlight the same way in various
1774
+ // contexts.
1775
+ return changed || (st.length < 5 && this.text.length < 10);
1776
+ },
1777
+ // Fetch the parser token for a given character. Useful for hacks
1778
+ // that want to inspect the mode state (say, for completion).
1779
+ getTokenAt: function(mode, state, ch) {
1780
+ var txt = this.text, stream = new StringStream(txt);
1781
+ while (stream.pos < ch && !stream.eol()) {
1782
+ stream.start = stream.pos;
1783
+ var style = mode.token(stream, state);
1784
+ }
1785
+ return {start: stream.start,
1786
+ end: stream.pos,
1787
+ string: stream.current(),
1788
+ className: style || null,
1789
+ state: state};
1790
+ },
1791
+ indentation: function() {return countColumn(this.text);},
1792
+ // Produces an HTML fragment for the line, taking selection,
1793
+ // marking, and highlighting into account.
1794
+ getHTML: function(sfrom, sto, includePre, endAt) {
1795
+ var html = [];
1796
+ if (includePre)
1797
+ html.push(this.className ? '<pre class="' + this.className + '">': "<pre>");
1798
+ function span(text, style) {
1799
+ if (!text) return;
1800
+ if (style) html.push('<span class="', style, '">', htmlEscape(text), "</span>");
1801
+ else html.push(htmlEscape(text));
1802
+ }
1803
+ var st = this.styles, allText = this.text, marked = this.marked;
1804
+ if (sfrom == sto) sfrom = null;
1805
+ var len = allText.length;
1806
+ if (endAt != null) len = Math.min(endAt, len);
1807
+
1808
+ if (!allText && endAt == null)
1809
+ span(" ", sfrom != null && sto == null ? "CodeMirror-selected" : null);
1810
+ else if (!marked && sfrom == null)
1811
+ for (var i = 0, ch = 0; ch < len; i+=2) {
1812
+ var str = st[i], l = str.length;
1813
+ if (ch + l > len) str = str.slice(0, len - ch);
1814
+ ch += l;
1815
+ span(str, "cm-" + st[i+1]);
1816
+ }
1817
+ else {
1818
+ var pos = 0, i = 0, text = "", style, sg = 0;
1819
+ var markpos = -1, mark = null;
1820
+ function nextMark() {
1821
+ if (marked) {
1822
+ markpos += 1;
1823
+ mark = (markpos < marked.length) ? marked[markpos] : null;
1824
+ }
1825
+ }
1826
+ nextMark();
1827
+ while (pos < len) {
1828
+ var upto = len;
1829
+ var extraStyle = "";
1830
+ if (sfrom != null) {
1831
+ if (sfrom > pos) upto = sfrom;
1832
+ else if (sto == null || sto > pos) {
1833
+ extraStyle = " CodeMirror-selected";
1834
+ if (sto != null) upto = Math.min(upto, sto);
1835
+ }
1836
+ }
1837
+ while (mark && mark.to != null && mark.to <= pos) nextMark();
1838
+ if (mark) {
1839
+ if (mark.from > pos) upto = Math.min(upto, mark.from);
1840
+ else {
1841
+ extraStyle += " " + mark.style;
1842
+ if (mark.to != null) upto = Math.min(upto, mark.to);
1843
+ }
1844
+ }
1845
+ for (;;) {
1846
+ var end = pos + text.length;
1847
+ var appliedStyle = style;
1848
+ if (extraStyle) appliedStyle = style ? style + extraStyle : extraStyle;
1849
+ span(end > upto ? text.slice(0, upto - pos) : text, appliedStyle);
1850
+ if (end >= upto) {text = text.slice(upto - pos); pos = upto; break;}
1851
+ pos = end;
1852
+ text = st[i++]; style = "cm-" + st[i++];
1853
+ }
1854
+ }
1855
+ if (sfrom != null && sto == null) span(" ", "CodeMirror-selected");
1856
+ }
1857
+ if (includePre) html.push("</pre>");
1858
+ return html.join("");
1859
+ }
1860
+ };
1861
+ // Utility used by replace and split above
1862
+ function copyStyles(from, to, source, dest) {
1863
+ for (var i = 0, pos = 0, state = 0; pos < to; i+=2) {
1864
+ var part = source[i], end = pos + part.length;
1865
+ if (state == 0) {
1866
+ if (end > from) dest.push(part.slice(from - pos, Math.min(part.length, to - pos)), source[i+1]);
1867
+ if (end >= from) state = 1;
1868
+ }
1869
+ else if (state == 1) {
1870
+ if (end > to) dest.push(part.slice(0, to - pos), source[i+1]);
1871
+ else dest.push(part, source[i+1]);
1872
+ }
1873
+ pos = end;
1874
+ }
1875
+ }
1876
+
1877
+ // The history object 'chunks' changes that are made close together
1878
+ // and at almost the same time into bigger undoable units.
1879
+ function History() {
1880
+ this.time = 0;
1881
+ this.done = []; this.undone = [];
1882
+ }
1883
+ History.prototype = {
1884
+ addChange: function(start, added, old) {
1885
+ this.undone.length = 0;
1886
+ var time = +new Date, last = this.done[this.done.length - 1];
1887
+ if (time - this.time > 400 || !last ||
1888
+ last.start > start + added || last.start + last.added < start - last.added + last.old.length)
1889
+ this.done.push({start: start, added: added, old: old});
1890
+ else {
1891
+ var oldoff = 0;
1892
+ if (start < last.start) {
1893
+ for (var i = last.start - start - 1; i >= 0; --i)
1894
+ last.old.unshift(old[i]);
1895
+ last.added += last.start - start;
1896
+ last.start = start;
1897
+ }
1898
+ else if (last.start < start) {
1899
+ oldoff = start - last.start;
1900
+ added += oldoff;
1901
+ }
1902
+ for (var i = last.added - oldoff, e = old.length; i < e; ++i)
1903
+ last.old.push(old[i]);
1904
+ if (last.added < added) last.added = added;
1905
+ }
1906
+ this.time = time;
1907
+ }
1908
+ };
1909
+
1910
+ function stopMethod() {e_stop(this);}
1911
+ // Ensure an event has a stop method.
1912
+ function addStop(event) {
1913
+ if (!event.stop) event.stop = stopMethod;
1914
+ return event;
1915
+ }
1916
+
1917
+ function e_preventDefault(e) {
1918
+ if (e.preventDefault) e.preventDefault();
1919
+ else e.returnValue = false;
1920
+ }
1921
+ function e_stopPropagation(e) {
1922
+ if (e.stopPropagation) e.stopPropagation();
1923
+ else e.cancelBubble = true;
1924
+ }
1925
+ function e_stop(e) {e_preventDefault(e); e_stopPropagation(e);}
1926
+ function e_target(e) {return e.target || e.srcElement;}
1927
+ function e_button(e) {
1928
+ if (e.which) return e.which;
1929
+ else if (e.button & 1) return 1;
1930
+ else if (e.button & 2) return 3;
1931
+ else if (e.button & 4) return 2;
1932
+ }
1933
+ function e_pageX(e) {
1934
+ if (e.pageX != null) return e.pageX;
1935
+ var doc = e_target(e).ownerDocument;
1936
+ return e.clientX + doc.body.scrollLeft + doc.documentElement.scrollLeft;
1937
+ }
1938
+ function e_pageY(e) {
1939
+ if (e.pageY != null) return e.pageY;
1940
+ var doc = e_target(e).ownerDocument;
1941
+ return e.clientY + doc.body.scrollTop + doc.documentElement.scrollTop;
1942
+ }
1943
+
1944
+ // Event handler registration. If disconnect is true, it'll return a
1945
+ // function that unregisters the handler.
1946
+ function connect(node, type, handler, disconnect) {
1947
+ function wrapHandler(event) {handler(event || window.event);}
1948
+ if (typeof node.addEventListener == "function") {
1949
+ node.addEventListener(type, wrapHandler, false);
1950
+ if (disconnect) return function() {node.removeEventListener(type, wrapHandler, false);};
1951
+ }
1952
+ else {
1953
+ node.attachEvent("on" + type, wrapHandler);
1954
+ if (disconnect) return function() {node.detachEvent("on" + type, wrapHandler);};
1955
+ }
1956
+ }
1957
+
1958
+ function Delayed() {this.id = null;}
1959
+ Delayed.prototype = {set: function(ms, f) {clearTimeout(this.id); this.id = setTimeout(f, ms);}};
1960
+
1961
+ // Some IE versions don't preserve whitespace when setting the
1962
+ // innerHTML of a PRE tag.
1963
+ var badInnerHTML = (function() {
1964
+ var pre = document.createElement("pre");
1965
+ pre.innerHTML = " "; return !pre.innerHTML;
1966
+ })();
1967
+
1968
+ var gecko = /gecko\/\d{7}/i.test(navigator.userAgent);
1969
+ var ie = /MSIE \d/.test(navigator.userAgent);
1970
+ var safari = /Apple Computer/.test(navigator.vendor);
1971
+
1972
+ var lineSep = "\n";
1973
+ // Feature-detect whether newlines in textareas are converted to \r\n
1974
+ (function () {
1975
+ var te = document.createElement("textarea");
1976
+ te.value = "foo\nbar";
1977
+ if (te.value.indexOf("\r") > -1) lineSep = "\r\n";
1978
+ }());
1979
+
1980
+ var tabSize = 8;
1981
+ var mac = /Mac/.test(navigator.platform);
1982
+ var movementKeys = {};
1983
+ for (var i = 35; i <= 40; ++i)
1984
+ movementKeys[i] = movementKeys["c" + i] = true;
1985
+
1986
+ // Counts the column offset in a string, taking tabs into account.
1987
+ // Used mostly to find indentation.
1988
+ function countColumn(string, end) {
1989
+ if (end == null) {
1990
+ end = string.search(/[^\s\u00a0]/);
1991
+ if (end == -1) end = string.length;
1992
+ }
1993
+ for (var i = 0, n = 0; i < end; ++i) {
1994
+ if (string.charAt(i) == "\t") n += tabSize - (n % tabSize);
1995
+ else ++n;
1996
+ }
1997
+ return n;
1998
+ }
1999
+
2000
+ function computedStyle(elt) {
2001
+ if (elt.currentStyle) return elt.currentStyle;
2002
+ return window.getComputedStyle(elt, null);
2003
+ }
2004
+ // Find the position of an element by following the offsetParent chain.
2005
+ // If screen==true, it returns screen (rather than page) coordinates.
2006
+ function eltOffset(node, screen) {
2007
+ var doc = node.ownerDocument.body;
2008
+ var x = 0, y = 0, skipDoc = false;
2009
+ for (var n = node; n; n = n.offsetParent) {
2010
+ x += n.offsetLeft; y += n.offsetTop;
2011
+ if (screen && computedStyle(n).position == "fixed")
2012
+ skipDoc = true;
2013
+ }
2014
+ var e = screen && !skipDoc ? null : doc;
2015
+ for (var n = node.parentNode; n != e; n = n.parentNode)
2016
+ if (n.scrollLeft != null) { x -= n.scrollLeft; y -= n.scrollTop;}
2017
+ return {left: x, top: y};
2018
+ }
2019
+ // Get a node's text content.
2020
+ function eltText(node) {
2021
+ return node.textContent || node.innerText || node.nodeValue || "";
2022
+ }
2023
+
2024
+ // Operations on {line, ch} objects.
2025
+ function posEq(a, b) {return a.line == b.line && a.ch == b.ch;}
2026
+ function posLess(a, b) {return a.line < b.line || (a.line == b.line && a.ch < b.ch);}
2027
+ function copyPos(x) {return {line: x.line, ch: x.ch};}
2028
+
2029
+ var escapeElement = document.createElement("div");
2030
+ function htmlEscape(str) {
2031
+ escapeElement.innerText = escapeElement.textContent = str;
2032
+ return escapeElement.innerHTML;
2033
+ }
2034
+ CodeMirror.htmlEscape = htmlEscape;
2035
+
2036
+ // Used to position the cursor after an undo/redo by finding the
2037
+ // last edited character.
2038
+ function editEnd(from, to) {
2039
+ if (!to) return from ? from.length : 0;
2040
+ if (!from) return to.length;
2041
+ for (var i = from.length, j = to.length; i >= 0 && j >= 0; --i, --j)
2042
+ if (from.charAt(i) != to.charAt(j)) break;
2043
+ return j + 1;
2044
+ }
2045
+
2046
+ function indexOf(collection, elt) {
2047
+ if (collection.indexOf) return collection.indexOf(elt);
2048
+ for (var i = 0, e = collection.length; i < e; ++i)
2049
+ if (collection[i] == elt) return i;
2050
+ return -1;
2051
+ }
2052
+
2053
+ // See if "".split is the broken IE version, if so, provide an
2054
+ // alternative way to split lines.
2055
+ var splitLines, selRange, setSelRange;
2056
+ if ("\n\nb".split(/\n/).length != 3)
2057
+ splitLines = function(string) {
2058
+ var pos = 0, nl, result = [];
2059
+ while ((nl = string.indexOf("\n", pos)) > -1) {
2060
+ result.push(string.slice(pos, string.charAt(nl-1) == "\r" ? nl - 1 : nl));
2061
+ pos = nl + 1;
2062
+ }
2063
+ result.push(string.slice(pos));
2064
+ return result;
2065
+ };
2066
+ else
2067
+ splitLines = function(string){return string.split(/\r?\n/);};
2068
+ CodeMirror.splitLines = splitLines;
2069
+
2070
+ // Sane model of finding and setting the selection in a textarea
2071
+ if (window.getSelection) {
2072
+ selRange = function(te) {
2073
+ try {return {start: te.selectionStart, end: te.selectionEnd};}
2074
+ catch(e) {return null;}
2075
+ };
2076
+ if (safari)
2077
+ // On Safari, selection set with setSelectionRange are in a sort
2078
+ // of limbo wrt their anchor. If you press shift-left in them,
2079
+ // the anchor is put at the end, and the selection expanded to
2080
+ // the left. If you press shift-right, the anchor ends up at the
2081
+ // front. This is not what CodeMirror wants, so it does a
2082
+ // spurious modify() call to get out of limbo.
2083
+ setSelRange = function(te, start, end) {
2084
+ if (start == end)
2085
+ te.setSelectionRange(start, end);
2086
+ else {
2087
+ te.setSelectionRange(start, end - 1);
2088
+ window.getSelection().modify("extend", "forward", "character");
2089
+ }
2090
+ };
2091
+ else
2092
+ setSelRange = function(te, start, end) {
2093
+ try {te.setSelectionRange(start, end);}
2094
+ catch(e) {} // Fails on Firefox when textarea isn't part of the document
2095
+ };
2096
+ }
2097
+ // IE model. Don't ask.
2098
+ else {
2099
+ selRange = function(te) {
2100
+ try {var range = te.ownerDocument.selection.createRange();}
2101
+ catch(e) {return null;}
2102
+ if (!range || range.parentElement() != te) return null;
2103
+ var val = te.value, len = val.length, localRange = te.createTextRange();
2104
+ localRange.moveToBookmark(range.getBookmark());
2105
+ var endRange = te.createTextRange();
2106
+ endRange.collapse(false);
2107
+
2108
+ if (localRange.compareEndPoints("StartToEnd", endRange) > -1)
2109
+ return {start: len, end: len};
2110
+
2111
+ var start = -localRange.moveStart("character", -len);
2112
+ for (var i = val.indexOf("\r"); i > -1 && i < start; i = val.indexOf("\r", i+1), start++) {}
2113
+
2114
+ if (localRange.compareEndPoints("EndToEnd", endRange) > -1)
2115
+ return {start: start, end: len};
2116
+
2117
+ var end = -localRange.moveEnd("character", -len);
2118
+ for (var i = val.indexOf("\r"); i > -1 && i < end; i = val.indexOf("\r", i+1), end++) {}
2119
+ return {start: start, end: end};
2120
+ };
2121
+ setSelRange = function(te, start, end) {
2122
+ var range = te.createTextRange();
2123
+ range.collapse(true);
2124
+ var endrange = range.duplicate();
2125
+ var newlines = 0, txt = te.value;
2126
+ for (var pos = txt.indexOf("\n"); pos > -1 && pos < start; pos = txt.indexOf("\n", pos + 1))
2127
+ ++newlines;
2128
+ range.move("character", start - newlines);
2129
+ for (; pos > -1 && pos < end; pos = txt.indexOf("\n", pos + 1))
2130
+ ++newlines;
2131
+ endrange.move("character", end - newlines);
2132
+ range.setEndPoint("EndToEnd", endrange);
2133
+ range.select();
2134
+ };
2135
+ }
2136
+
2137
+ CodeMirror.defineMode("null", function() {
2138
+ return {token: function(stream) {stream.skipToEnd();}};
2139
+ });
2140
+ CodeMirror.defineMIME("text/plain", "null");
2141
+
2142
+ return CodeMirror;
2143
+ })()
2144
+ ;