burp_cms 1.3.13 → 1.3.14

Sign up to get free protection for your applications and to get access to all the features.
Files changed (243) hide show
  1. checksums.yaml +4 -4
  2. data/Rakefile +2 -2
  3. data/app/assets/images/burp/add-image-2.jpg +0 -0
  4. data/app/assets/images/burp/add-image-3.jpg +0 -0
  5. data/app/assets/images/burp/add-image-4.jpg +0 -0
  6. data/app/assets/images/burp/enter-page-edit-mode-4.jpg +0 -0
  7. data/app/assets/images/burp/remove-image-2.jpg +0 -0
  8. data/app/assets/images/burp/remove-image-3.jpg +0 -0
  9. data/app/assets/images/burp/remove-image-4.jpg +0 -0
  10. data/app/assets/images/burp/remove-image-5.jpg +0 -0
  11. data/app/views/burp/static/help.html.erb +8 -8
  12. data/lib/burp/version.rb +1 -1
  13. metadata +95 -234
  14. data/app/assets/images/burp/add-image-2.png +0 -0
  15. data/app/assets/images/burp/add-image-3.png +0 -0
  16. data/app/assets/images/burp/add-image-4.png +0 -0
  17. data/app/assets/images/burp/enter-page-edit-mode-4.png +0 -0
  18. data/app/assets/images/burp/remove-image-2.png +0 -0
  19. data/app/assets/images/burp/remove-image-3.png +0 -0
  20. data/app/assets/images/burp/remove-image-4.png +0 -0
  21. data/app/assets/images/burp/remove-image-5.png +0 -0
  22. data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/README.md +0 -8
  23. data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/demo/activeline.html +0 -72
  24. data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/demo/changemode.html +0 -50
  25. data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/demo/closetag.html +0 -65
  26. data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/demo/complete.html +0 -70
  27. data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/demo/emacs.html +0 -59
  28. data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/demo/folding.html +0 -61
  29. data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/demo/formatting.html +0 -80
  30. data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/demo/fullscreen.html +0 -152
  31. data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/demo/loadmode.html +0 -39
  32. data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/demo/marker.html +0 -52
  33. data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/demo/matchhighlighter.html +0 -37
  34. data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/demo/multiplex.html +0 -59
  35. data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/demo/mustache.html +0 -57
  36. data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/demo/preview.html +0 -76
  37. data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/demo/resize.html +0 -41
  38. data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/demo/runmode.html +0 -49
  39. data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/demo/search.html +0 -83
  40. data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/demo/theme.html +0 -78
  41. data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/demo/vim.html +0 -50
  42. data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/demo/visibletabs.html +0 -61
  43. data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/doc/baboon.png +0 -0
  44. data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/doc/baboon_vector.svg +0 -153
  45. data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/doc/compress.html +0 -148
  46. data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/doc/docs.css +0 -154
  47. data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/doc/internals.html +0 -494
  48. data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/doc/manual.html +0 -1128
  49. data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/doc/oldrelease.html +0 -267
  50. data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/doc/reporting.html +0 -57
  51. data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/doc/upgrade_v2.2.html +0 -95
  52. data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/index.html +0 -417
  53. data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/clike/clike.js +0 -271
  54. data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/clike/index.html +0 -101
  55. data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/clike/scala.html +0 -765
  56. data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/clojure/clojure.js +0 -207
  57. data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/clojure/index.html +0 -66
  58. data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/coffeescript/LICENSE +0 -22
  59. data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/coffeescript/coffeescript.js +0 -347
  60. data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/coffeescript/index.html +0 -727
  61. data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/diff/diff.js +0 -32
  62. data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/diff/index.html +0 -104
  63. data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/ecl/ecl.js +0 -203
  64. data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/ecl/index.html +0 -42
  65. data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/erlang/erlang.js +0 -251
  66. data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/erlang/index.html +0 -61
  67. data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/gfm/gfm.js +0 -144
  68. data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/gfm/index.html +0 -47
  69. data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/go/go.js +0 -170
  70. data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/go/index.html +0 -72
  71. data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/groovy/groovy.js +0 -210
  72. data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/groovy/index.html +0 -71
  73. data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/haskell/haskell.js +0 -242
  74. data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/haskell/index.html +0 -60
  75. data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/jinja2/index.html +0 -37
  76. data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/jinja2/jinja2.js +0 -42
  77. data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/less/index.html +0 -618
  78. data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/less/less.js +0 -232
  79. data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/lua/index.html +0 -72
  80. data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/lua/lua.js +0 -140
  81. data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/mysql/index.html +0 -41
  82. data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/mysql/mysql.js +0 -188
  83. data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/ntriples/index.html +0 -32
  84. data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/ntriples/ntriples.js +0 -172
  85. data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/pascal/LICENSE +0 -7
  86. data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/pascal/index.html +0 -48
  87. data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/pascal/pascal.js +0 -94
  88. data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/perl/LICENSE +0 -19
  89. data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/perl/index.html +0 -62
  90. data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/perl/perl.js +0 -816
  91. data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/php/index.html +0 -48
  92. data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/php/php.js +0 -150
  93. data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/pig/index.html +0 -42
  94. data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/pig/pig.js +0 -172
  95. data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/plsql/index.html +0 -62
  96. data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/plsql/plsql.js +0 -217
  97. data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/properties/index.html +0 -40
  98. data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/properties/properties.js +0 -63
  99. data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/python/LICENSE.txt +0 -21
  100. data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/python/index.html +0 -122
  101. data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/python/python.js +0 -338
  102. data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/r/LICENSE +0 -24
  103. data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/r/index.html +0 -73
  104. data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/r/r.js +0 -141
  105. data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/rpm/changes/changes.js +0 -19
  106. data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/rpm/changes/index.html +0 -53
  107. data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/rpm/spec/index.html +0 -99
  108. data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/rpm/spec/spec.css +0 -5
  109. data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/rpm/spec/spec.js +0 -66
  110. data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/rst/index.html +0 -525
  111. data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/rst/rst.js +0 -326
  112. data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/ruby/LICENSE +0 -24
  113. data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/ruby/index.html +0 -171
  114. data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/ruby/ruby.js +0 -195
  115. data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/rust/index.html +0 -48
  116. data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/rust/rust.js +0 -432
  117. data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/scheme/index.html +0 -64
  118. data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/scheme/scheme.js +0 -230
  119. data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/shell/index.html +0 -50
  120. data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/shell/shell.js +0 -103
  121. data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/smalltalk/index.html +0 -55
  122. data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/smalltalk/smalltalk.js +0 -139
  123. data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/smarty/index.html +0 -82
  124. data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/smarty/smarty.js +0 -148
  125. data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/sparql/index.html +0 -40
  126. data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/sparql/sparql.js +0 -143
  127. data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/stex/index.html +0 -95
  128. data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/stex/stex.js +0 -182
  129. data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/stex/test.html +0 -263
  130. data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/tiddlywiki/index.html +0 -140
  131. data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/tiddlywiki/tiddlywiki.css +0 -14
  132. data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/tiddlywiki/tiddlywiki.js +0 -384
  133. data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/tiki/index.html +0 -82
  134. data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/tiki/tiki.css +0 -26
  135. data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/tiki/tiki.js +0 -316
  136. data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/vbscript/index.html +0 -42
  137. data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/vbscript/vbscript.js +0 -26
  138. data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/velocity/index.html +0 -103
  139. data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/velocity/velocity.js +0 -146
  140. data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/verilog/index.html +0 -210
  141. data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/verilog/verilog.js +0 -194
  142. data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/xquery/LICENSE +0 -20
  143. data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/xquery/index.html +0 -222
  144. data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/xquery/test/index.html +0 -27
  145. data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/xquery/test/testBase.js +0 -42
  146. data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/xquery/test/testEmptySequenceKeyword.js +0 -16
  147. data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/xquery/test/testMultiAttr.js +0 -16
  148. data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/xquery/test/testNamespaces.js +0 -91
  149. data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/xquery/test/testProcessingInstructions.js +0 -16
  150. data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/xquery/test/testQuotes.js +0 -19
  151. data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/xquery/xquery.js +0 -448
  152. data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/yaml/index.html +0 -67
  153. data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/yaml/yaml.js +0 -95
  154. data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/test/index.html +0 -28
  155. data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/test/mode_test.css +0 -22
  156. data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/test/mode_test.js +0 -164
  157. data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/test/test.js +0 -344
  158. data/app/assets/packages/burp/editing/dep/FontAwesome/FontAwesome-Vectors.pdf +11 -3176
  159. data/app/assets/packages/burp/editing/dep/FontAwesome/FontAwesome.ttf +0 -0
  160. data/app/assets/packages/burp/editing/dep/FontAwesome/README.md +0 -18
  161. data/app/assets/packages/burp/editing/dep/FontAwesome/css/font-awesome-ie7.css +0 -645
  162. data/app/assets/packages/burp/editing/dep/FontAwesome/css/font-awesome.less +0 -309
  163. data/app/assets/packages/burp/editing/dep/FontAwesome/docs/assets/css/font-awesome-ie7.css +0 -213
  164. data/app/assets/packages/burp/editing/dep/FontAwesome/docs/assets/css/font-awesome.css +0 -303
  165. data/app/assets/packages/burp/editing/dep/FontAwesome/docs/assets/css/prettify.css +0 -30
  166. data/app/assets/packages/burp/editing/dep/FontAwesome/docs/assets/css/site.css +0 -4904
  167. data/app/assets/packages/burp/editing/dep/FontAwesome/docs/assets/font/fontawesome-webfont.eot +0 -0
  168. data/app/assets/packages/burp/editing/dep/FontAwesome/docs/assets/font/fontawesome-webfont.svg +0 -255
  169. data/app/assets/packages/burp/editing/dep/FontAwesome/docs/assets/font/fontawesome-webfont.ttf +0 -0
  170. data/app/assets/packages/burp/editing/dep/FontAwesome/docs/assets/font/fontawesome-webfont.woff +0 -0
  171. data/app/assets/packages/burp/editing/dep/FontAwesome/docs/assets/font/museo_slab_300-webfont.eot +0 -0
  172. data/app/assets/packages/burp/editing/dep/FontAwesome/docs/assets/font/museo_slab_300-webfont.ttf +0 -0
  173. data/app/assets/packages/burp/editing/dep/FontAwesome/docs/assets/font/museo_slab_500-webfont.eot +0 -0
  174. data/app/assets/packages/burp/editing/dep/FontAwesome/docs/assets/font/museo_slab_500-webfont.ttf +0 -0
  175. data/app/assets/packages/burp/editing/dep/FontAwesome/docs/assets/font/proximanova-webfont.eot +0 -0
  176. data/app/assets/packages/burp/editing/dep/FontAwesome/docs/assets/font/proximanova-webfont.ttf +0 -0
  177. data/app/assets/packages/burp/editing/dep/FontAwesome/docs/assets/ico/favicon.ico +0 -0
  178. data/app/assets/packages/burp/editing/dep/FontAwesome/docs/assets/js/backbone.min.js +0 -37
  179. data/app/assets/packages/burp/editing/dep/FontAwesome/docs/assets/js/index/index.js +0 -89
  180. data/app/assets/packages/burp/editing/dep/FontAwesome/docs/assets/js/jquery-1.7.1.min.js +0 -4
  181. data/app/assets/packages/burp/editing/dep/FontAwesome/docs/assets/js/prettify.min.js +0 -28
  182. data/app/assets/packages/burp/editing/dep/FontAwesome/docs/assets/js/tw-bs-201/bootstrap-alert.js +0 -94
  183. data/app/assets/packages/burp/editing/dep/FontAwesome/docs/assets/js/tw-bs-201/bootstrap-button.js +0 -98
  184. data/app/assets/packages/burp/editing/dep/FontAwesome/docs/assets/js/tw-bs-201/bootstrap-carousel.js +0 -157
  185. data/app/assets/packages/burp/editing/dep/FontAwesome/docs/assets/js/tw-bs-201/bootstrap-collapse.js +0 -136
  186. data/app/assets/packages/burp/editing/dep/FontAwesome/docs/assets/js/tw-bs-201/bootstrap-dropdown.js +0 -92
  187. data/app/assets/packages/burp/editing/dep/FontAwesome/docs/assets/js/tw-bs-201/bootstrap-modal.js +0 -210
  188. data/app/assets/packages/burp/editing/dep/FontAwesome/docs/assets/js/tw-bs-201/bootstrap-popover.js +0 -95
  189. data/app/assets/packages/burp/editing/dep/FontAwesome/docs/assets/js/tw-bs-201/bootstrap-scrollspy.js +0 -125
  190. data/app/assets/packages/burp/editing/dep/FontAwesome/docs/assets/js/tw-bs-201/bootstrap-tab.js +0 -130
  191. data/app/assets/packages/burp/editing/dep/FontAwesome/docs/assets/js/tw-bs-201/bootstrap-tooltip.js +0 -270
  192. data/app/assets/packages/burp/editing/dep/FontAwesome/docs/assets/js/tw-bs-201/bootstrap-transition.js +0 -51
  193. data/app/assets/packages/burp/editing/dep/FontAwesome/docs/assets/js/tw-bs-201/bootstrap-typeahead.js +0 -271
  194. data/app/assets/packages/burp/editing/dep/FontAwesome/docs/assets/js/underscore.min.js +0 -31
  195. data/app/assets/packages/burp/editing/dep/FontAwesome/docs/assets/less/font-awesome-ie7.less +0 -245
  196. data/app/assets/packages/burp/editing/dep/FontAwesome/docs/assets/less/font-awesome.less +0 -327
  197. data/app/assets/packages/burp/editing/dep/FontAwesome/docs/assets/less/font-site.less +0 -26
  198. data/app/assets/packages/burp/editing/dep/FontAwesome/docs/assets/less/mixins.less +0 -43
  199. data/app/assets/packages/burp/editing/dep/FontAwesome/docs/assets/less/site.less +0 -300
  200. data/app/assets/packages/burp/editing/dep/FontAwesome/docs/assets/less/twbs-203/accordion.less +0 -33
  201. data/app/assets/packages/burp/editing/dep/FontAwesome/docs/assets/less/twbs-203/alerts.less +0 -58
  202. data/app/assets/packages/burp/editing/dep/FontAwesome/docs/assets/less/twbs-203/bootstrap.less +0 -62
  203. data/app/assets/packages/burp/editing/dep/FontAwesome/docs/assets/less/twbs-203/breadcrumbs.less +0 -24
  204. data/app/assets/packages/burp/editing/dep/FontAwesome/docs/assets/less/twbs-203/button-groups.less +0 -191
  205. data/app/assets/packages/burp/editing/dep/FontAwesome/docs/assets/less/twbs-203/buttons.less +0 -191
  206. data/app/assets/packages/burp/editing/dep/FontAwesome/docs/assets/less/twbs-203/carousel.less +0 -121
  207. data/app/assets/packages/burp/editing/dep/FontAwesome/docs/assets/less/twbs-203/close.less +0 -29
  208. data/app/assets/packages/burp/editing/dep/FontAwesome/docs/assets/less/twbs-203/code.less +0 -57
  209. data/app/assets/packages/burp/editing/dep/FontAwesome/docs/assets/less/twbs-203/component-animations.less +0 -20
  210. data/app/assets/packages/burp/editing/dep/FontAwesome/docs/assets/less/twbs-203/dropdowns.less +0 -143
  211. data/app/assets/packages/burp/editing/dep/FontAwesome/docs/assets/less/twbs-203/forms.less +0 -584
  212. data/app/assets/packages/burp/editing/dep/FontAwesome/docs/assets/less/twbs-203/grid.less +0 -5
  213. data/app/assets/packages/burp/editing/dep/FontAwesome/docs/assets/less/twbs-203/hero-unit.less +0 -22
  214. data/app/assets/packages/burp/editing/dep/FontAwesome/docs/assets/less/twbs-203/labels-badges.less +0 -55
  215. data/app/assets/packages/burp/editing/dep/FontAwesome/docs/assets/less/twbs-203/layouts.less +0 -17
  216. data/app/assets/packages/burp/editing/dep/FontAwesome/docs/assets/less/twbs-203/mixins.less +0 -631
  217. data/app/assets/packages/burp/editing/dep/FontAwesome/docs/assets/less/twbs-203/modals.less +0 -90
  218. data/app/assets/packages/burp/editing/dep/FontAwesome/docs/assets/less/twbs-203/navbar.less +0 -364
  219. data/app/assets/packages/burp/editing/dep/FontAwesome/docs/assets/less/twbs-203/navs.less +0 -363
  220. data/app/assets/packages/burp/editing/dep/FontAwesome/docs/assets/less/twbs-203/pager.less +0 -36
  221. data/app/assets/packages/burp/editing/dep/FontAwesome/docs/assets/less/twbs-203/pagination.less +0 -56
  222. data/app/assets/packages/burp/editing/dep/FontAwesome/docs/assets/less/twbs-203/popovers.less +0 -49
  223. data/app/assets/packages/burp/editing/dep/FontAwesome/docs/assets/less/twbs-203/progress-bars.less +0 -117
  224. data/app/assets/packages/burp/editing/dep/FontAwesome/docs/assets/less/twbs-203/reset.less +0 -126
  225. data/app/assets/packages/burp/editing/dep/FontAwesome/docs/assets/less/twbs-203/responsive-1200px-min.less +0 -26
  226. data/app/assets/packages/burp/editing/dep/FontAwesome/docs/assets/less/twbs-203/responsive-767px-max.less +0 -149
  227. data/app/assets/packages/burp/editing/dep/FontAwesome/docs/assets/less/twbs-203/responsive-768px-979px.less +0 -17
  228. data/app/assets/packages/burp/editing/dep/FontAwesome/docs/assets/less/twbs-203/responsive-navbar.less +0 -146
  229. data/app/assets/packages/burp/editing/dep/FontAwesome/docs/assets/less/twbs-203/responsive-utilities.less +0 -41
  230. data/app/assets/packages/burp/editing/dep/FontAwesome/docs/assets/less/twbs-203/responsive.less +0 -48
  231. data/app/assets/packages/burp/editing/dep/FontAwesome/docs/assets/less/twbs-203/scaffolding.less +0 -29
  232. data/app/assets/packages/burp/editing/dep/FontAwesome/docs/assets/less/twbs-203/sprites.less +0 -191
  233. data/app/assets/packages/burp/editing/dep/FontAwesome/docs/assets/less/twbs-203/tables.less +0 -176
  234. data/app/assets/packages/burp/editing/dep/FontAwesome/docs/assets/less/twbs-203/thumbnails.less +0 -47
  235. data/app/assets/packages/burp/editing/dep/FontAwesome/docs/assets/less/twbs-203/tooltip.less +0 -35
  236. data/app/assets/packages/burp/editing/dep/FontAwesome/docs/assets/less/twbs-203/type.less +0 -235
  237. data/app/assets/packages/burp/editing/dep/FontAwesome/docs/assets/less/twbs-203/utilities.less +0 -23
  238. data/app/assets/packages/burp/editing/dep/FontAwesome/docs/assets/less/twbs-203/variables.less +0 -205
  239. data/app/assets/packages/burp/editing/dep/FontAwesome/docs/assets/less/twbs-203/wells.less +0 -27
  240. data/app/assets/packages/burp/editing/dep/FontAwesome/docs/assets/less/variables.less +0 -206
  241. data/app/assets/packages/burp/editing/dep/FontAwesome/docs/index.html +0 -1087
  242. data/app/assets/packages/burp/editing/dep/FontAwesome/sass/font-awesome.sass +0 -712
  243. data/app/assets/packages/burp/editing/dep/FontAwesome/sass/font-awesome.scss +0 -329
@@ -1,82 +0,0 @@
1
- <!doctype html>
2
- <html>
3
- <head>
4
- <title>CodeMirror: Smarty mode</title>
5
- <link rel="stylesheet" href="../../lib/codemirror.css">
6
- <script src="../../lib/codemirror.js"></script>
7
- <script src="smarty.js"></script>
8
- <style type="text/css">.CodeMirror {border-top: 1px solid black; border-bottom: 1px solid black;}</style>
9
- <link rel="stylesheet" href="../../doc/docs.css">
10
- </head>
11
- <body>
12
- <h1>CodeMirror: Smarty mode</h1>
13
-
14
- <form><textarea id="code" name="code">
15
- {extends file="parent.tpl"}
16
- {include file="template.tpl"}
17
-
18
- {* some example Smarty content *}
19
- {if isset($name) && $name == 'Blog'}
20
- This is a {$var}.
21
- {$integer = 451}, {$array[] = "a"}, {$stringvar = "string"}
22
- {assign var='bob' value=$var.prop}
23
- {elseif $name == $foo}
24
- {function name=menu level=0}
25
- {foreach $data as $entry}
26
- {if is_array($entry)}
27
- - {$entry@key}
28
- {menu data=$entry level=$level+1}
29
- {else}
30
- {$entry}
31
- {/if}
32
- {/foreach}
33
- {/function}
34
- {/if}</textarea></form>
35
-
36
- <script>
37
- var editor = CodeMirror.fromTextArea(document.getElementById("code"), {
38
- lineNumbers: true,
39
- mode: "smarty"
40
- });
41
- </script>
42
-
43
- <br />
44
-
45
- <form><textarea id="code2" name="code2">
46
- {--extends file="parent.tpl"--}
47
- {--include file="template.tpl"--}
48
-
49
- {--* some example Smarty content *--}
50
- {--if isset($name) && $name == 'Blog'--}
51
- This is a {--$var--}.
52
- {--$integer = 451--}, {--$array[] = "a"--}, {--$stringvar = "string"--}
53
- {--assign var='bob' value=$var.prop--}
54
- {--elseif $name == $foo--}
55
- {--function name=menu level=0--}
56
- {--foreach $data as $entry--}
57
- {--if is_array($entry)--}
58
- - {--$entry@key--}
59
- {--menu data=$entry level=$level+1--}
60
- {--else--}
61
- {--$entry--}
62
- {--/if--}
63
- {--/foreach--}
64
- {--/function--}
65
- {--/if--}</textarea></form>
66
-
67
- <script>
68
- var editor = CodeMirror.fromTextArea(document.getElementById("code2"), {
69
- lineNumbers: true,
70
- mode: {
71
- name: "smarty",
72
- leftDelimiter: "{--",
73
- rightDelimiter: "--}"
74
- }
75
- });
76
- </script>
77
-
78
- <p>A plain text/Smarty mode which allows for custom delimiter tags (defaults to <b>{</b> and <b>}</b>).</p>
79
-
80
- <p><strong>MIME types defined:</strong> <code>text/x-smarty</code></p>
81
- </body>
82
- </html>
@@ -1,148 +0,0 @@
1
- CodeMirror.defineMode("smarty", function(config, parserConfig) {
2
- var keyFuncs = ["debug", "extends", "function", "include", "literal"];
3
- var last;
4
- var regs = {
5
- operatorChars: /[+\-*&%=<>!?]/,
6
- validIdentifier: /[a-zA-Z0-9\_]/,
7
- stringChar: /[\'\"]/
8
- }
9
- var leftDelim = (typeof config.mode.leftDelimiter != 'undefined') ? config.mode.leftDelimiter : "{";
10
- var rightDelim = (typeof config.mode.rightDelimiter != 'undefined') ? config.mode.rightDelimiter : "}";
11
- function ret(style, lst) { last = lst; return style; }
12
-
13
-
14
- function tokenizer(stream, state) {
15
- function chain(parser) {
16
- state.tokenize = parser;
17
- return parser(stream, state);
18
- }
19
-
20
- if (stream.match(leftDelim, true)) {
21
- if (stream.eat("*")) {
22
- return chain(inBlock("comment", "*" + rightDelim));
23
- }
24
- else {
25
- state.tokenize = inSmarty;
26
- return "tag";
27
- }
28
- }
29
- else {
30
- // I'd like to do an eatWhile() here, but I can't get it to eat only up to the rightDelim string/char
31
- stream.next();
32
- return null;
33
- }
34
- }
35
-
36
- function inSmarty(stream, state) {
37
- if (stream.match(rightDelim, true)) {
38
- state.tokenize = tokenizer;
39
- return ret("tag", null);
40
- }
41
-
42
- var ch = stream.next();
43
- if (ch == "$") {
44
- stream.eatWhile(regs.validIdentifier);
45
- return ret("variable-2", "variable");
46
- }
47
- else if (ch == ".") {
48
- return ret("operator", "property");
49
- }
50
- else if (regs.stringChar.test(ch)) {
51
- state.tokenize = inAttribute(ch);
52
- return ret("string", "string");
53
- }
54
- else if (regs.operatorChars.test(ch)) {
55
- stream.eatWhile(regs.operatorChars);
56
- return ret("operator", "operator");
57
- }
58
- else if (ch == "[" || ch == "]") {
59
- return ret("bracket", "bracket");
60
- }
61
- else if (/\d/.test(ch)) {
62
- stream.eatWhile(/\d/);
63
- return ret("number", "number");
64
- }
65
- else {
66
- if (state.last == "variable") {
67
- if (ch == "@") {
68
- stream.eatWhile(regs.validIdentifier);
69
- return ret("property", "property");
70
- }
71
- else if (ch == "|") {
72
- stream.eatWhile(regs.validIdentifier);
73
- return ret("qualifier", "modifier");
74
- }
75
- }
76
- else if (state.last == "whitespace") {
77
- stream.eatWhile(regs.validIdentifier);
78
- return ret("attribute", "modifier");
79
- }
80
- else if (state.last == "property") {
81
- stream.eatWhile(regs.validIdentifier);
82
- return ret("property", null);
83
- }
84
- else if (/\s/.test(ch)) {
85
- last = "whitespace";
86
- return null;
87
- }
88
-
89
- var str = "";
90
- if (ch != "/") {
91
- str += ch;
92
- }
93
- var c = "";
94
- while ((c = stream.eat(regs.validIdentifier))) {
95
- str += c;
96
- }
97
- var i, j;
98
- for (i=0, j=keyFuncs.length; i<j; i++) {
99
- if (keyFuncs[i] == str) {
100
- return ret("keyword", "keyword");
101
- }
102
- }
103
- if (/\s/.test(ch)) {
104
- return null;
105
- }
106
- return ret("tag", "tag");
107
- }
108
- }
109
-
110
- function inAttribute(quote) {
111
- return function(stream, state) {
112
- while (!stream.eol()) {
113
- if (stream.next() == quote) {
114
- state.tokenize = inSmarty;
115
- break;
116
- }
117
- }
118
- return "string";
119
- };
120
- }
121
-
122
- function inBlock(style, terminator) {
123
- return function(stream, state) {
124
- while (!stream.eol()) {
125
- if (stream.match(terminator)) {
126
- state.tokenize = tokenizer;
127
- break;
128
- }
129
- stream.next();
130
- }
131
- return style;
132
- };
133
- }
134
-
135
- return {
136
- startState: function() {
137
- return { tokenize: tokenizer, mode: "smarty", last: null };
138
- },
139
- token: function(stream, state) {
140
- var style = state.tokenize(stream, state);
141
- state.last = last;
142
- return style;
143
- },
144
- electricChars: ""
145
- }
146
- });
147
-
148
- CodeMirror.defineMIME("text/x-smarty", "smarty");
@@ -1,40 +0,0 @@
1
- <!doctype html>
2
- <html>
3
- <head>
4
- <title>CodeMirror: SPARQL mode</title>
5
- <link rel="stylesheet" href="../../lib/codemirror.css">
6
- <script src="../../lib/codemirror.js"></script>
7
- <script src="sparql.js"></script>
8
- <style>.CodeMirror {border-top: 1px solid black; border-bottom: 1px solid black;}</style>
9
- <link rel="stylesheet" href="../../doc/docs.css">
10
- </head>
11
- <body>
12
- <h1>CodeMirror: SPARQL mode</h1>
13
- <form><textarea id="code" name="code">
14
- PREFIX a: &lt;http://www.w3.org/2000/10/annotation-ns#>
15
- PREFIX dc: &lt;http://purl.org/dc/elements/1.1/>
16
- PREFIX foaf: &lt;http://xmlns.com/foaf/0.1/>
17
-
18
- # Comment!
19
-
20
- SELECT ?given ?family
21
- WHERE {
22
- ?annot a:annotates &lt;http://www.w3.org/TR/rdf-sparql-query/> .
23
- ?annot dc:creator ?c .
24
- OPTIONAL {?c foaf:given ?given ;
25
- foaf:family ?family } .
26
- FILTER isBlank(?c)
27
- }
28
- </textarea></form>
29
- <script>
30
- var editor = CodeMirror.fromTextArea(document.getElementById("code"), {
31
- mode: "application/x-sparql-query",
32
- tabMode: "indent",
33
- matchBrackets: true
34
- });
35
- </script>
36
-
37
- <p><strong>MIME types defined:</strong> <code>application/x-sparql-query</code>.</p>
38
-
39
- </body>
40
- </html>
@@ -1,143 +0,0 @@
1
- CodeMirror.defineMode("sparql", function(config) {
2
- var indentUnit = config.indentUnit;
3
- var curPunc;
4
-
5
- function wordRegexp(words) {
6
- return new RegExp("^(?:" + words.join("|") + ")$", "i");
7
- }
8
- var ops = wordRegexp(["str", "lang", "langmatches", "datatype", "bound", "sameterm", "isiri", "isuri",
9
- "isblank", "isliteral", "union", "a"]);
10
- var keywords = wordRegexp(["base", "prefix", "select", "distinct", "reduced", "construct", "describe",
11
- "ask", "from", "named", "where", "order", "limit", "offset", "filter", "optional",
12
- "graph", "by", "asc", "desc"]);
13
- var operatorChars = /[*+\-<>=&|]/;
14
-
15
- function tokenBase(stream, state) {
16
- var ch = stream.next();
17
- curPunc = null;
18
- if (ch == "$" || ch == "?") {
19
- stream.match(/^[\w\d]*/);
20
- return "variable-2";
21
- }
22
- else if (ch == "<" && !stream.match(/^[\s\u00a0=]/, false)) {
23
- stream.match(/^[^\s\u00a0>]*>?/);
24
- return "atom";
25
- }
26
- else if (ch == "\"" || ch == "'") {
27
- state.tokenize = tokenLiteral(ch);
28
- return state.tokenize(stream, state);
29
- }
30
- else if (/[{}\(\),\.;\[\]]/.test(ch)) {
31
- curPunc = ch;
32
- return null;
33
- }
34
- else if (ch == "#") {
35
- stream.skipToEnd();
36
- return "comment";
37
- }
38
- else if (operatorChars.test(ch)) {
39
- stream.eatWhile(operatorChars);
40
- return null;
41
- }
42
- else if (ch == ":") {
43
- stream.eatWhile(/[\w\d\._\-]/);
44
- return "atom";
45
- }
46
- else {
47
- stream.eatWhile(/[_\w\d]/);
48
- if (stream.eat(":")) {
49
- stream.eatWhile(/[\w\d_\-]/);
50
- return "atom";
51
- }
52
- var word = stream.current(), type;
53
- if (ops.test(word))
54
- return null;
55
- else if (keywords.test(word))
56
- return "keyword";
57
- else
58
- return "variable";
59
- }
60
- }
61
-
62
- function tokenLiteral(quote) {
63
- return function(stream, state) {
64
- var escaped = false, ch;
65
- while ((ch = stream.next()) != null) {
66
- if (ch == quote && !escaped) {
67
- state.tokenize = tokenBase;
68
- break;
69
- }
70
- escaped = !escaped && ch == "\\";
71
- }
72
- return "string";
73
- };
74
- }
75
-
76
- function pushContext(state, type, col) {
77
- state.context = {prev: state.context, indent: state.indent, col: col, type: type};
78
- }
79
- function popContext(state) {
80
- state.indent = state.context.indent;
81
- state.context = state.context.prev;
82
- }
83
-
84
- return {
85
- startState: function(base) {
86
- return {tokenize: tokenBase,
87
- context: null,
88
- indent: 0,
89
- col: 0};
90
- },
91
-
92
- token: function(stream, state) {
93
- if (stream.sol()) {
94
- if (state.context && state.context.align == null) state.context.align = false;
95
- state.indent = stream.indentation();
96
- }
97
- if (stream.eatSpace()) return null;
98
- var style = state.tokenize(stream, state);
99
-
100
- if (style != "comment" && state.context && state.context.align == null && state.context.type != "pattern") {
101
- state.context.align = true;
102
- }
103
-
104
- if (curPunc == "(") pushContext(state, ")", stream.column());
105
- else if (curPunc == "[") pushContext(state, "]", stream.column());
106
- else if (curPunc == "{") pushContext(state, "}", stream.column());
107
- else if (/[\]\}\)]/.test(curPunc)) {
108
- while (state.context && state.context.type == "pattern") popContext(state);
109
- if (state.context && curPunc == state.context.type) popContext(state);
110
- }
111
- else if (curPunc == "." && state.context && state.context.type == "pattern") popContext(state);
112
- else if (/atom|string|variable/.test(style) && state.context) {
113
- if (/[\}\]]/.test(state.context.type))
114
- pushContext(state, "pattern", stream.column());
115
- else if (state.context.type == "pattern" && !state.context.align) {
116
- state.context.align = true;
117
- state.context.col = stream.column();
118
- }
119
- }
120
-
121
- return style;
122
- },
123
-
124
- indent: function(state, textAfter) {
125
- var firstChar = textAfter && textAfter.charAt(0);
126
- var context = state.context;
127
- if (/[\]\}]/.test(firstChar))
128
- while (context && context.type == "pattern") context = context.prev;
129
-
130
- var closing = context && firstChar == context.type;
131
- if (!context)
132
- return 0;
133
- else if (context.type == "pattern")
134
- return context.col;
135
- else if (context.align)
136
- return context.col + (closing ? 0 : 1);
137
- else
138
- return context.indent + (closing ? 0 : indentUnit);
139
- }
140
- };
141
- });
142
-
143
- CodeMirror.defineMIME("application/x-sparql-query", "sparql");
@@ -1,95 +0,0 @@
1
- <!doctype html>
2
- <html>
3
- <head>
4
- <title>CodeMirror: sTeX mode</title>
5
- <link rel="stylesheet" href="../../lib/codemirror.css">
6
- <script src="../../lib/codemirror.js"></script>
7
- <script src="stex.js"></script>
8
- <style>.CodeMirror {background: #f8f8f8;}</style>
9
- <link rel="stylesheet" href="../../doc/docs.css">
10
- </head>
11
- <body>
12
- <h1>CodeMirror: sTeX mode</h1>
13
- <form><textarea id="code" name="code">
14
- \begin{module}[id=bbt-size]
15
- \importmodule[balanced-binary-trees]{balanced-binary-trees}
16
- \importmodule[\KWARCslides{dmath/en/cardinality}]{cardinality}
17
-
18
- \begin{frame}
19
- \frametitle{Size Lemma for Balanced Trees}
20
- \begin{itemize}
21
- \item
22
- \begin{assertion}[id=size-lemma,type=lemma]
23
- Let $G=\tup{V,E}$ be a \termref[cd=binary-trees]{balanced binary tree}
24
- of \termref[cd=graph-depth,name=vertex-depth]{depth}$n>i$, then the set
25
- $\defeq{\livar{V}i}{\setst{\inset{v}{V}}{\gdepth{v} = i}}$ of
26
- \termref[cd=graphs-intro,name=node]{nodes} at
27
- \termref[cd=graph-depth,name=vertex-depth]{depth} $i$ has
28
- \termref[cd=cardinality,name=cardinality]{cardinality} $\power2i$.
29
- \end{assertion}
30
- \item
31
- \begin{sproof}[id=size-lemma-pf,proofend=,for=size-lemma]{via induction over the depth $i$.}
32
- \begin{spfcases}{We have to consider two cases}
33
- \begin{spfcase}{$i=0$}
34
- \begin{spfstep}[display=flow]
35
- then $\livar{V}i=\set{\livar{v}r}$, where $\livar{v}r$ is the root, so
36
- $\eq{\card{\livar{V}0},\card{\set{\livar{v}r}},1,\power20}$.
37
- \end{spfstep}
38
- \end{spfcase}
39
- \begin{spfcase}{$i>0$}
40
- \begin{spfstep}[display=flow]
41
- then $\livar{V}{i-1}$ contains $\power2{i-1}$ vertexes
42
- \begin{justification}[method=byIH](IH)\end{justification}
43
- \end{spfstep}
44
- \begin{spfstep}
45
- By the \begin{justification}[method=byDef]definition of a binary
46
- tree\end{justification}, each $\inset{v}{\livar{V}{i-1}}$ is a leaf or has
47
- two children that are at depth $i$.
48
- \end{spfstep}
49
- \begin{spfstep}
50
- As $G$ is \termref[cd=balanced-binary-trees,name=balanced-binary-tree]{balanced} and $\gdepth{G}=n>i$, $\livar{V}{i-1}$ cannot contain
51
- leaves.
52
- \end{spfstep}
53
- \begin{spfstep}[type=conclusion]
54
- Thus $\eq{\card{\livar{V}i},{\atimes[cdot]{2,\card{\livar{V}{i-1}}}},{\atimes[cdot]{2,\power2{i-1}}},\power2i}$.
55
- \end{spfstep}
56
- \end{spfcase}
57
- \end{spfcases}
58
- \end{sproof}
59
- \item
60
- \begin{assertion}[id=fbbt,type=corollary]
61
- A fully balanced tree of depth $d$ has $\power2{d+1}-1$ nodes.
62
- \end{assertion}
63
- \item
64
- \begin{sproof}[for=fbbt,id=fbbt-pf]{}
65
- \begin{spfstep}
66
- Let $\defeq{G}{\tup{V,E}}$ be a fully balanced tree
67
- \end{spfstep}
68
- \begin{spfstep}
69
- Then $\card{V}=\Sumfromto{i}1d{\power2i}= \power2{d+1}-1$.
70
- \end{spfstep}
71
- \end{sproof}
72
- \end{itemize}
73
- \end{frame}
74
- \begin{note}
75
- \begin{omtext}[type=conclusion,for=binary-tree]
76
- This shows that balanced binary trees grow in breadth very quickly, a consequence of
77
- this is that they are very shallow (and this compute very fast), which is the essence of
78
- the next result.
79
- \end{omtext}
80
- \end{note}
81
- \end{module}
82
-
83
- %%% Local Variables:
84
- %%% mode: LaTeX
85
- %%% TeX-master: "all"
86
- %%% End: \end{document}
87
- </textarea></form>
88
- <script>
89
- var editor = CodeMirror.fromTextArea(document.getElementById("code"), {});
90
- </script>
91
-
92
- <p><strong>MIME types defined:</strong> <code>text/x-stex</code>.</p>
93
-
94
- </body>
95
- </html>
@@ -1,182 +0,0 @@
1
- /*
2
- * Author: Constantin Jucovschi (c.jucovschi@jacobs-university.de)
3
- * Licence: MIT
4
- */
5
-
6
- CodeMirror.defineMode("stex", function(cmCfg, modeCfg)
7
- {
8
- function pushCommand(state, command) {
9
- state.cmdState.push(command);
10
- }
11
-
12
- function peekCommand(state) {
13
- if (state.cmdState.length>0)
14
- return state.cmdState[state.cmdState.length-1];
15
- else
16
- return null;
17
- }
18
-
19
- function popCommand(state) {
20
- if (state.cmdState.length>0) {
21
- var plug = state.cmdState.pop();
22
- plug.closeBracket();
23
- }
24
- }
25
-
26
- function applyMostPowerful(state) {
27
- var context = state.cmdState;
28
- for (var i = context.length - 1; i >= 0; i--) {
29
- var plug = context[i];
30
- if (plug.name=="DEFAULT")
31
- continue;
32
- return plug.styleIdentifier();
33
- }
34
- return null;
35
- }
36
-
37
- function addPluginPattern(pluginName, cmdStyle, brackets, styles) {
38
- return function () {
39
- this.name=pluginName;
40
- this.bracketNo = 0;
41
- this.style=cmdStyle;
42
- this.styles = styles;
43
- this.brackets = brackets;
44
-
45
- this.styleIdentifier = function(content) {
46
- if (this.bracketNo<=this.styles.length)
47
- return this.styles[this.bracketNo-1];
48
- else
49
- return null;
50
- };
51
- this.openBracket = function(content) {
52
- this.bracketNo++;
53
- return "bracket";
54
- };
55
- this.closeBracket = function(content) {
56
- };
57
- }
58
- }
59
-
60
- var plugins = new Array();
61
-
62
- plugins["importmodule"] = addPluginPattern("importmodule", "tag", "{[", ["string", "builtin"]);
63
- plugins["documentclass"] = addPluginPattern("documentclass", "tag", "{[", ["", "atom"]);
64
- plugins["usepackage"] = addPluginPattern("documentclass", "tag", "[", ["atom"]);
65
- plugins["begin"] = addPluginPattern("documentclass", "tag", "[", ["atom"]);
66
- plugins["end"] = addPluginPattern("documentclass", "tag", "[", ["atom"]);
67
-
68
- plugins["DEFAULT"] = function () {
69
- this.name="DEFAULT";
70
- this.style="tag";
71
-
72
- this.styleIdentifier = function(content) {
73
- };
74
- this.openBracket = function(content) {
75
- };
76
- this.closeBracket = function(content) {
77
- };
78
- };
79
-
80
- function setState(state, f) {
81
- state.f = f;
82
- }
83
-
84
- function normal(source, state) {
85
- if (source.match(/^\\[a-zA-Z@]+/)) {
86
- var cmdName = source.current();
87
- cmdName = cmdName.substr(1, cmdName.length-1);
88
- var plug;
89
- if (plugins.hasOwnProperty(cmdName)) {
90
- plug = plugins[cmdName];
91
- } else {
92
- plug = plugins["DEFAULT"];
93
- }
94
- plug = new plug();
95
- pushCommand(state, plug);
96
- setState(state, beginParams);
97
- return plug.style;
98
- }
99
-
100
- // escape characters
101
- if (source.match(/^\\[$&%#{}_]/)) {
102
- return "tag";
103
- }
104
-
105
- // white space control characters
106
- if (source.match(/^\\[,;!\/]/)) {
107
- return "tag";
108
- }
109
-
110
- var ch = source.next();
111
- if (ch == "%") {
112
- // special case: % at end of its own line; stay in same state
113
- if (!source.eol()) {
114
- setState(state, inCComment);
115
- }
116
- return "comment";
117
- }
118
- else if (ch=='}' || ch==']') {
119
- plug = peekCommand(state);
120
- if (plug) {
121
- plug.closeBracket(ch);
122
- setState(state, beginParams);
123
- } else
124
- return "error";
125
- return "bracket";
126
- } else if (ch=='{' || ch=='[') {
127
- plug = plugins["DEFAULT"];
128
- plug = new plug();
129
- pushCommand(state, plug);
130
- return "bracket";
131
- }
132
- else if (/\d/.test(ch)) {
133
- source.eatWhile(/[\w.%]/);
134
- return "atom";
135
- }
136
- else {
137
- source.eatWhile(/[\w-_]/);
138
- return applyMostPowerful(state);
139
- }
140
- }
141
-
142
- function inCComment(source, state) {
143
- source.skipToEnd();
144
- setState(state, normal);
145
- return "comment";
146
- }
147
-
148
- function beginParams(source, state) {
149
- var ch = source.peek();
150
- if (ch == '{' || ch == '[') {
151
- var lastPlug = peekCommand(state);
152
- var style = lastPlug.openBracket(ch);
153
- source.eat(ch);
154
- setState(state, normal);
155
- return "bracket";
156
- }
157
- if (/[ \t\r]/.test(ch)) {
158
- source.eat(ch);
159
- return null;
160
- }
161
- setState(state, normal);
162
- lastPlug = peekCommand(state);
163
- if (lastPlug) {
164
- popCommand(state);
165
- }
166
- return normal(source, state);
167
- }
168
-
169
- return {
170
- startState: function() { return { f:normal, cmdState:[] }; },
171
- copyState: function(s) { return { f: s.f, cmdState: s.cmdState.slice(0, s.cmdState.length) }; },
172
-
173
- token: function(stream, state) {
174
- var t = state.f(stream, state);
175
- var w = stream.current();
176
- return t;
177
- }
178
- };
179
- });
180
-
181
-
182
- CodeMirror.defineMIME("text/x-stex", "stex");