lines-engine 0.6.2 → 0.9.0
Sign up to get free protection for your applications and to get access to all the features.
- checksums.yaml +4 -4
- checksums.yaml.gz.sig +0 -0
- data.tar.gz.sig +0 -0
- data/.gitignore +1 -0
- data/CHANGELOG.md +10 -3
- data/Gemfile +1 -0
- data/Gemfile.lock +10 -6
- data/app/assets/images/favicon.ico +0 -0
- data/app/assets/images/gplus.svg +17 -0
- data/app/assets/javascripts/lines/admin/admin.js +299 -0
- data/app/assets/javascripts/lines/{autosize.min.js → admin/autosize.min.js} +0 -0
- data/app/assets/javascripts/lines/admin/navbar.js +51 -0
- data/app/assets/javascripts/lines/{pictures.js.coffee → admin/pictures.js.coffee} +2 -1
- data/app/assets/javascripts/lines/application.js +3 -0
- data/app/assets/javascripts/lines/articles.js.coffee +1 -0
- data/app/assets/javascripts/lines/viewer.js.coffee +3 -0
- data/app/assets/stylesheets/lines/admin/admin.scss +609 -0
- data/app/assets/stylesheets/lines/admin/variables_and_mixins.scss +36 -0
- data/app/assets/stylesheets/lines/application.scss +2 -13
- data/app/assets/stylesheets/lines/article.scss +165 -69
- data/app/assets/stylesheets/lines/fonts.scss +2 -2
- data/app/assets/stylesheets/lines/footer.scss +10 -56
- data/app/assets/stylesheets/lines/general.scss +18 -13
- data/app/assets/stylesheets/lines/media_queries.scss +5 -1
- data/app/assets/stylesheets/lines/messages.scss +28 -0
- data/app/assets/stylesheets/lines/navbar.scss +199 -122
- data/app/assets/stylesheets/lines/pagination.scss +8 -31
- data/app/assets/stylesheets/lines/pygments.css.erb +1 -2
- data/app/assets/stylesheets/lines/variables_and_mixins.scss +4 -0
- data/app/controllers/lines/admin/articles_controller.rb +8 -6
- data/app/controllers/lines/admin/authors_controller.rb +2 -2
- data/app/controllers/lines/admin/pictures_controller.rb +1 -1
- data/app/controllers/lines/application_controller.rb +1 -1
- data/app/controllers/lines/articles_controller.rb +3 -1
- data/app/controllers/lines/password_resets_controller.rb +4 -7
- data/app/controllers/lines/sessions_controller.rb +3 -3
- data/app/helpers/lines/application_helper.rb +25 -4
- data/app/mailers/lines/user_mailer.rb +1 -1
- data/app/models/lines/article.rb +13 -3
- data/app/models/lines/user.rb +2 -2
- data/app/uploaders/picture_uploader.rb +1 -1
- data/app/views/layouts/lines/_markdown_cheatsheet.html.erb +72 -0
- data/app/views/layouts/lines/admin.html.erb +15 -4
- data/app/views/layouts/lines/application.html.erb +16 -4
- data/app/views/layouts/lines/preview.html.erb +30 -2
- data/app/views/lines/admin/articles/_form.html.erb +50 -148
- data/app/views/lines/admin/articles/_picture_box.html.erb +37 -8
- data/app/views/lines/admin/articles/edit.html.erb +2 -12
- data/app/views/lines/admin/articles/index.html.erb +40 -28
- data/app/views/lines/admin/articles/new.html.erb +3 -10
- data/app/views/lines/admin/articles/show.html.erb +6 -4
- data/app/views/lines/admin/authors/_form.html.erb +12 -41
- data/app/views/lines/admin/authors/index.html.erb +18 -13
- data/app/views/lines/admin/authors/show.html.erb +19 -48
- data/app/views/lines/admin/pictures/_picture.html.erb +5 -4
- data/app/views/lines/admin/pictures/create.js.erb +1 -1
- data/app/views/lines/admin/pictures/destroy.js.erb +1 -1
- data/app/views/lines/articles/_article.html.erb +10 -6
- data/app/views/lines/articles/_article_collection.html.erb +1 -1
- data/app/views/lines/articles/_article_small.html.erb +9 -7
- data/app/views/lines/articles/index.atom.builder +10 -9
- data/app/views/lines/articles/index.html.erb +2 -2
- data/app/views/lines/articles/show.html.erb +5 -1
- data/app/views/lines/password_resets/edit.html.erb +25 -12
- data/app/views/lines/password_resets/new.html.erb +14 -8
- data/app/views/lines/sessions/new.html.erb +6 -10
- data/app/views/lines/shared/_flash.html.erb +1 -1
- data/app/views/lines/shared/_footer.html.erb +5 -28
- data/app/views/lines/user_mailer/password_reset.html.erb +6 -5
- data/app/views/lines/user_mailer/password_reset.text.erb +8 -4
- data/config/lines_config.yml +15 -14
- data/config/routes.rb +2 -2
- data/db/seeds.rb +5 -5
- data/lib/lines/engine.rb +1 -1
- data/lib/lines/version.rb +1 -1
- data/lines.gemspec +1 -1
- data/public/codemirror/.gitattributes +8 -0
- data/public/codemirror/.gitignore +8 -0
- data/public/codemirror/.npmignore +9 -0
- data/public/codemirror/.travis.yml +4 -0
- data/public/codemirror/AUTHORS +474 -0
- data/public/codemirror/CONTRIBUTING.md +88 -0
- data/public/codemirror/LICENSE +19 -0
- data/public/codemirror/README.md +27 -0
- data/public/codemirror/addon/comment/comment.js +183 -0
- data/public/codemirror/addon/comment/continuecomment.js +85 -0
- data/public/codemirror/addon/dialog/dialog.css +32 -0
- data/public/codemirror/addon/dialog/dialog.js +157 -0
- data/public/codemirror/addon/display/fullscreen.css +6 -0
- data/public/codemirror/addon/display/fullscreen.js +41 -0
- data/public/codemirror/addon/display/panel.js +112 -0
- data/public/codemirror/addon/display/placeholder.js +58 -0
- data/public/codemirror/addon/display/rulers.js +63 -0
- data/public/codemirror/addon/edit/closebrackets.js +185 -0
- data/public/codemirror/addon/edit/closetag.js +166 -0
- data/public/codemirror/addon/edit/continuelist.js +51 -0
- data/public/codemirror/addon/edit/matchbrackets.js +120 -0
- data/public/codemirror/addon/edit/matchtags.js +66 -0
- data/public/codemirror/addon/edit/trailingspace.js +27 -0
- data/public/codemirror/addon/fold/brace-fold.js +105 -0
- data/public/codemirror/addon/fold/comment-fold.js +57 -0
- data/public/codemirror/addon/fold/foldcode.js +149 -0
- data/public/codemirror/addon/fold/foldgutter.css +20 -0
- data/public/codemirror/addon/fold/foldgutter.js +146 -0
- data/public/codemirror/addon/fold/indent-fold.js +44 -0
- data/public/codemirror/addon/fold/markdown-fold.js +49 -0
- data/public/codemirror/addon/fold/xml-fold.js +182 -0
- data/public/codemirror/addon/hint/anyword-hint.js +41 -0
- data/public/codemirror/addon/hint/css-hint.js +60 -0
- data/public/codemirror/addon/hint/html-hint.js +348 -0
- data/public/codemirror/addon/hint/javascript-hint.js +146 -0
- data/public/codemirror/addon/hint/show-hint.css +38 -0
- data/public/codemirror/addon/hint/show-hint.js +386 -0
- data/public/codemirror/addon/hint/sql-hint.js +254 -0
- data/public/codemirror/addon/hint/xml-hint.js +110 -0
- data/public/codemirror/addon/lint/coffeescript-lint.js +41 -0
- data/public/codemirror/addon/lint/css-lint.js +35 -0
- data/public/codemirror/addon/lint/javascript-lint.js +136 -0
- data/public/codemirror/addon/lint/json-lint.js +31 -0
- data/public/codemirror/addon/lint/lint.css +73 -0
- data/public/codemirror/addon/lint/lint.js +207 -0
- data/public/codemirror/addon/lint/yaml-lint.js +28 -0
- data/public/codemirror/addon/merge/merge.css +112 -0
- data/public/codemirror/addon/merge/merge.js +775 -0
- data/public/codemirror/addon/mode/loadmode.js +64 -0
- data/public/codemirror/addon/mode/multiplex.js +123 -0
- data/public/codemirror/addon/mode/multiplex_test.js +33 -0
- data/public/codemirror/addon/mode/overlay.js +85 -0
- data/public/codemirror/addon/mode/simple.js +213 -0
- data/public/codemirror/addon/runmode/colorize.js +40 -0
- data/public/codemirror/addon/runmode/runmode-standalone.js +157 -0
- data/public/codemirror/addon/runmode/runmode.js +72 -0
- data/public/codemirror/addon/runmode/runmode.node.js +178 -0
- data/public/codemirror/addon/scroll/annotatescrollbar.js +115 -0
- data/public/codemirror/addon/scroll/scrollpastend.js +46 -0
- data/public/codemirror/addon/scroll/simplescrollbars.css +66 -0
- data/public/codemirror/addon/scroll/simplescrollbars.js +147 -0
- data/public/codemirror/addon/search/match-highlighter.js +128 -0
- data/public/codemirror/addon/search/matchesonscrollbar.css +8 -0
- data/public/codemirror/addon/search/matchesonscrollbar.js +97 -0
- data/public/codemirror/addon/search/search.js +202 -0
- data/public/codemirror/addon/search/searchcursor.js +189 -0
- data/public/codemirror/addon/selection/active-line.js +71 -0
- data/public/codemirror/addon/selection/mark-selection.js +118 -0
- data/public/codemirror/addon/selection/selection-pointer.js +98 -0
- data/public/codemirror/addon/tern/tern.css +87 -0
- data/public/codemirror/addon/tern/tern.js +699 -0
- data/public/codemirror/addon/tern/worker.js +44 -0
- data/public/codemirror/addon/wrap/hardwrap.js +139 -0
- data/public/codemirror/bin/authors.sh +6 -0
- data/public/codemirror/bin/compress +92 -0
- data/public/codemirror/bin/lint +3 -0
- data/public/codemirror/bin/release +45 -0
- data/public/codemirror/bin/source-highlight +51 -0
- data/public/codemirror/bower.json +17 -0
- data/public/codemirror/demo/activeline.html +78 -0
- data/public/codemirror/demo/anywordhint.html +79 -0
- data/public/codemirror/demo/bidi.html +74 -0
- data/public/codemirror/demo/btree.html +85 -0
- data/public/codemirror/demo/buffers.html +109 -0
- data/public/codemirror/demo/changemode.html +58 -0
- data/public/codemirror/demo/closebrackets.html +52 -0
- data/public/codemirror/demo/closetag.html +41 -0
- data/public/codemirror/demo/complete.html +79 -0
- data/public/codemirror/demo/emacs.html +75 -0
- data/public/codemirror/demo/folding.html +95 -0
- data/public/codemirror/demo/fullscreen.html +83 -0
- data/public/codemirror/demo/hardwrap.html +72 -0
- data/public/codemirror/demo/html5complete.html +56 -0
- data/public/codemirror/demo/indentwrap.html +59 -0
- data/public/codemirror/demo/lint.html +171 -0
- data/public/codemirror/demo/loadmode.html +72 -0
- data/public/codemirror/demo/marker.html +52 -0
- data/public/codemirror/demo/markselection.html +52 -0
- data/public/codemirror/demo/matchhighlighter.html +47 -0
- data/public/codemirror/demo/matchtags.html +48 -0
- data/public/codemirror/demo/merge.html +122 -0
- data/public/codemirror/demo/multiplex.html +75 -0
- data/public/codemirror/demo/mustache.html +69 -0
- data/public/codemirror/demo/panel.html +136 -0
- data/public/codemirror/demo/placeholder.html +45 -0
- data/public/codemirror/demo/preview.html +87 -0
- data/public/codemirror/demo/requirejs.html +70 -0
- data/public/codemirror/demo/resize.html +51 -0
- data/public/codemirror/demo/rulers.html +49 -0
- data/public/codemirror/demo/runmode.html +62 -0
- data/public/codemirror/demo/search.html +95 -0
- data/public/codemirror/demo/simplemode.html +186 -0
- data/public/codemirror/demo/simplescrollbars.html +82 -0
- data/public/codemirror/demo/spanaffectswrapping_shim.html +85 -0
- data/public/codemirror/demo/sublime.html +76 -0
- data/public/codemirror/demo/tern.html +133 -0
- data/public/codemirror/demo/theme.html +152 -0
- data/public/codemirror/demo/trailingspace.html +48 -0
- data/public/codemirror/demo/variableheight.html +67 -0
- data/public/codemirror/demo/vim.html +104 -0
- data/public/codemirror/demo/visibletabs.html +62 -0
- data/public/codemirror/demo/widget.html +85 -0
- data/public/codemirror/demo/xmlcomplete.html +119 -0
- data/public/codemirror/doc/activebookmark.js +57 -0
- data/public/codemirror/doc/compress.html +329 -0
- data/public/codemirror/doc/docs.css +271 -0
- data/public/codemirror/doc/internals.html +503 -0
- data/public/codemirror/doc/logo.png +0 -0
- data/public/codemirror/doc/logo.svg +181 -0
- data/public/codemirror/doc/manual.html +3327 -0
- data/public/codemirror/doc/realworld.html +174 -0
- data/public/codemirror/doc/releases.html +1116 -0
- data/public/codemirror/doc/reporting.html +61 -0
- data/public/codemirror/doc/upgrade_v2.2.html +96 -0
- data/public/codemirror/doc/upgrade_v3.html +230 -0
- data/public/codemirror/doc/upgrade_v4.html +144 -0
- data/public/codemirror/doc/yinyang.png +0 -0
- data/public/codemirror/index.html +199 -0
- data/public/codemirror/keymap/emacs.js +412 -0
- data/public/codemirror/keymap/sublime.js +555 -0
- data/public/codemirror/keymap/vim.js +5060 -0
- data/public/codemirror/lib/codemirror.css +332 -0
- data/public/codemirror/lib/codemirror.js +8788 -0
- data/public/codemirror/mode/apl/apl.js +174 -0
- data/public/codemirror/mode/apl/index.html +72 -0
- data/public/codemirror/mode/asciiarmor/asciiarmor.js +73 -0
- data/public/codemirror/mode/asciiarmor/index.html +46 -0
- data/public/codemirror/mode/asn.1/asn.1.js +204 -0
- data/public/codemirror/mode/asn.1/index.html +78 -0
- data/public/codemirror/mode/asterisk/asterisk.js +196 -0
- data/public/codemirror/mode/asterisk/index.html +154 -0
- data/public/codemirror/mode/brainfuck/brainfuck.js +85 -0
- data/public/codemirror/mode/brainfuck/index.html +85 -0
- data/public/codemirror/mode/clike/clike.js +604 -0
- data/public/codemirror/mode/clike/index.html +252 -0
- data/public/codemirror/mode/clike/scala.html +767 -0
- data/public/codemirror/mode/clike/test.js +33 -0
- data/public/codemirror/mode/clojure/clojure.js +244 -0
- data/public/codemirror/mode/clojure/index.html +88 -0
- data/public/codemirror/mode/cmake/cmake.js +97 -0
- data/public/codemirror/mode/cmake/index.html +129 -0
- data/public/codemirror/mode/cobol/cobol.js +255 -0
- data/public/codemirror/mode/cobol/index.html +210 -0
- data/public/codemirror/mode/coffeescript/coffeescript.js +369 -0
- data/public/codemirror/mode/coffeescript/index.html +740 -0
- data/public/codemirror/mode/commonlisp/commonlisp.js +123 -0
- data/public/codemirror/mode/commonlisp/index.html +177 -0
- data/public/codemirror/mode/css/css.js +756 -0
- data/public/codemirror/mode/css/index.html +75 -0
- data/public/codemirror/mode/css/less.html +152 -0
- data/public/codemirror/mode/css/less_test.js +54 -0
- data/public/codemirror/mode/css/scss.html +157 -0
- data/public/codemirror/mode/css/scss_test.js +110 -0
- data/public/codemirror/mode/css/test.js +188 -0
- data/public/codemirror/mode/cypher/cypher.js +146 -0
- data/public/codemirror/mode/cypher/index.html +63 -0
- data/public/codemirror/mode/d/d.js +218 -0
- data/public/codemirror/mode/d/index.html +273 -0
- data/public/codemirror/mode/dart/dart.js +50 -0
- data/public/codemirror/mode/dart/index.html +71 -0
- data/public/codemirror/mode/diff/diff.js +47 -0
- data/public/codemirror/mode/diff/index.html +117 -0
- data/public/codemirror/mode/django/django.js +350 -0
- data/public/codemirror/mode/django/index.html +73 -0
- data/public/codemirror/mode/dockerfile/dockerfile.js +76 -0
- data/public/codemirror/mode/dockerfile/index.html +73 -0
- data/public/codemirror/mode/dtd/dtd.js +142 -0
- data/public/codemirror/mode/dtd/index.html +89 -0
- data/public/codemirror/mode/dylan/dylan.js +291 -0
- data/public/codemirror/mode/dylan/index.html +407 -0
- data/public/codemirror/mode/ebnf/ebnf.js +195 -0
- data/public/codemirror/mode/ebnf/index.html +102 -0
- data/public/codemirror/mode/ecl/ecl.js +206 -0
- data/public/codemirror/mode/ecl/index.html +52 -0
- data/public/codemirror/mode/eiffel/eiffel.js +160 -0
- data/public/codemirror/mode/eiffel/index.html +429 -0
- data/public/codemirror/mode/elm/elm.js +205 -0
- data/public/codemirror/mode/elm/index.html +61 -0
- data/public/codemirror/mode/erlang/erlang.js +618 -0
- data/public/codemirror/mode/erlang/index.html +76 -0
- data/public/codemirror/mode/factor/factor.js +83 -0
- data/public/codemirror/mode/factor/index.html +77 -0
- data/public/codemirror/mode/forth/forth.js +180 -0
- data/public/codemirror/mode/forth/index.html +75 -0
- data/public/codemirror/mode/fortran/fortran.js +188 -0
- data/public/codemirror/mode/fortran/index.html +81 -0
- data/public/codemirror/mode/gas/gas.js +345 -0
- data/public/codemirror/mode/gas/index.html +68 -0
- data/public/codemirror/mode/gfm/gfm.js +124 -0
- data/public/codemirror/mode/gfm/index.html +93 -0
- data/public/codemirror/mode/gfm/test.js +213 -0
- data/public/codemirror/mode/gherkin/gherkin.js +178 -0
- data/public/codemirror/mode/gherkin/index.html +48 -0
- data/public/codemirror/mode/go/go.js +185 -0
- data/public/codemirror/mode/go/index.html +85 -0
- data/public/codemirror/mode/groovy/groovy.js +230 -0
- data/public/codemirror/mode/groovy/index.html +84 -0
- data/public/codemirror/mode/haml/haml.js +159 -0
- data/public/codemirror/mode/haml/index.html +79 -0
- data/public/codemirror/mode/haml/test.js +97 -0
- data/public/codemirror/mode/handlebars/handlebars.js +53 -0
- data/public/codemirror/mode/handlebars/index.html +83 -0
- data/public/codemirror/mode/haskell/haskell.js +267 -0
- data/public/codemirror/mode/haskell/index.html +73 -0
- data/public/codemirror/mode/haxe/haxe.js +518 -0
- data/public/codemirror/mode/haxe/index.html +124 -0
- data/public/codemirror/mode/htmlembedded/htmlembedded.js +28 -0
- data/public/codemirror/mode/htmlembedded/index.html +59 -0
- data/public/codemirror/mode/htmlmixed/htmlmixed.js +121 -0
- data/public/codemirror/mode/htmlmixed/index.html +89 -0
- data/public/codemirror/mode/http/http.js +113 -0
- data/public/codemirror/mode/http/index.html +45 -0
- data/public/codemirror/mode/idl/idl.js +290 -0
- data/public/codemirror/mode/idl/index.html +64 -0
- data/public/codemirror/mode/index.html +149 -0
- data/public/codemirror/mode/jade/index.html +70 -0
- data/public/codemirror/mode/jade/jade.js +590 -0
- data/public/codemirror/mode/javascript/index.html +114 -0
- data/public/codemirror/mode/javascript/javascript.js +704 -0
- data/public/codemirror/mode/javascript/json-ld.html +72 -0
- data/public/codemirror/mode/javascript/test.js +205 -0
- data/public/codemirror/mode/javascript/typescript.html +61 -0
- data/public/codemirror/mode/jinja2/index.html +54 -0
- data/public/codemirror/mode/jinja2/jinja2.js +142 -0
- data/public/codemirror/mode/julia/index.html +195 -0
- data/public/codemirror/mode/julia/julia.js +299 -0
- data/public/codemirror/mode/kotlin/index.html +89 -0
- data/public/codemirror/mode/kotlin/kotlin.js +284 -0
- data/public/codemirror/mode/livescript/index.html +459 -0
- data/public/codemirror/mode/livescript/livescript.js +280 -0
- data/public/codemirror/mode/lua/index.html +85 -0
- data/public/codemirror/mode/lua/lua.js +159 -0
- data/public/codemirror/mode/markdown/index.html +359 -0
- data/public/codemirror/mode/markdown/markdown.js +781 -0
- data/public/codemirror/mode/markdown/test.js +792 -0
- data/public/codemirror/mode/mathematica/index.html +72 -0
- data/public/codemirror/mode/mathematica/mathematica.js +175 -0
- data/public/codemirror/mode/meta.js +190 -0
- data/public/codemirror/mode/mirc/index.html +160 -0
- data/public/codemirror/mode/mirc/mirc.js +193 -0
- data/public/codemirror/mode/mllike/index.html +179 -0
- data/public/codemirror/mode/mllike/mllike.js +205 -0
- data/public/codemirror/mode/modelica/index.html +67 -0
- data/public/codemirror/mode/modelica/modelica.js +245 -0
- data/public/codemirror/mode/mumps/index.html +85 -0
- data/public/codemirror/mode/mumps/mumps.js +148 -0
- data/public/codemirror/mode/nginx/index.html +181 -0
- data/public/codemirror/mode/nginx/nginx.js +178 -0
- data/public/codemirror/mode/ntriples/index.html +45 -0
- data/public/codemirror/mode/ntriples/ntriples.js +186 -0
- data/public/codemirror/mode/octave/index.html +83 -0
- data/public/codemirror/mode/octave/octave.js +135 -0
- data/public/codemirror/mode/pascal/index.html +61 -0
- data/public/codemirror/mode/pascal/pascal.js +109 -0
- data/public/codemirror/mode/pegjs/index.html +66 -0
- data/public/codemirror/mode/pegjs/pegjs.js +114 -0
- data/public/codemirror/mode/perl/index.html +75 -0
- data/public/codemirror/mode/perl/perl.js +837 -0
- data/public/codemirror/mode/php/index.html +64 -0
- data/public/codemirror/mode/php/php.js +230 -0
- data/public/codemirror/mode/php/test.js +154 -0
- data/public/codemirror/mode/pig/index.html +55 -0
- data/public/codemirror/mode/pig/pig.js +178 -0
- data/public/codemirror/mode/properties/index.html +53 -0
- data/public/codemirror/mode/properties/properties.js +78 -0
- data/public/codemirror/mode/puppet/index.html +121 -0
- data/public/codemirror/mode/puppet/puppet.js +220 -0
- data/public/codemirror/mode/python/index.html +198 -0
- data/public/codemirror/mode/python/python.js +358 -0
- data/public/codemirror/mode/q/index.html +144 -0
- data/public/codemirror/mode/q/q.js +139 -0
- data/public/codemirror/mode/r/index.html +85 -0
- data/public/codemirror/mode/r/r.js +162 -0
- data/public/codemirror/mode/rpm/changes/index.html +66 -0
- data/public/codemirror/mode/rpm/index.html +149 -0
- data/public/codemirror/mode/rpm/rpm.js +101 -0
- data/public/codemirror/mode/rst/index.html +535 -0
- data/public/codemirror/mode/rst/rst.js +557 -0
- data/public/codemirror/mode/ruby/index.html +183 -0
- data/public/codemirror/mode/ruby/ruby.js +285 -0
- data/public/codemirror/mode/ruby/test.js +14 -0
- data/public/codemirror/mode/rust/index.html +60 -0
- data/public/codemirror/mode/rust/rust.js +451 -0
- data/public/codemirror/mode/sass/index.html +66 -0
- data/public/codemirror/mode/sass/sass.js +414 -0
- data/public/codemirror/mode/scheme/index.html +77 -0
- data/public/codemirror/mode/scheme/scheme.js +249 -0
- data/public/codemirror/mode/shell/index.html +66 -0
- data/public/codemirror/mode/shell/shell.js +139 -0
- data/public/codemirror/mode/shell/test.js +58 -0
- data/public/codemirror/mode/sieve/index.html +93 -0
- data/public/codemirror/mode/sieve/sieve.js +193 -0
- data/public/codemirror/mode/slim/index.html +96 -0
- data/public/codemirror/mode/slim/slim.js +575 -0
- data/public/codemirror/mode/slim/test.js +96 -0
- data/public/codemirror/mode/smalltalk/index.html +68 -0
- data/public/codemirror/mode/smalltalk/smalltalk.js +168 -0
- data/public/codemirror/mode/smarty/index.html +138 -0
- data/public/codemirror/mode/smarty/smarty.js +225 -0
- data/public/codemirror/mode/solr/index.html +57 -0
- data/public/codemirror/mode/solr/solr.js +104 -0
- data/public/codemirror/mode/soy/index.html +68 -0
- data/public/codemirror/mode/soy/soy.js +198 -0
- data/public/codemirror/mode/sparql/index.html +61 -0
- data/public/codemirror/mode/sparql/sparql.js +174 -0
- data/public/codemirror/mode/spreadsheet/index.html +42 -0
- data/public/codemirror/mode/spreadsheet/spreadsheet.js +109 -0
- data/public/codemirror/mode/sql/index.html +84 -0
- data/public/codemirror/mode/sql/sql.js +391 -0
- data/public/codemirror/mode/stex/index.html +110 -0
- data/public/codemirror/mode/stex/stex.js +251 -0
- data/public/codemirror/mode/stex/test.js +123 -0
- data/public/codemirror/mode/stylus/index.html +106 -0
- data/public/codemirror/mode/stylus/stylus.js +768 -0
- data/public/codemirror/mode/swift/index.html +88 -0
- data/public/codemirror/mode/swift/swift.js +203 -0
- data/public/codemirror/mode/tcl/index.html +142 -0
- data/public/codemirror/mode/tcl/tcl.js +147 -0
- data/public/codemirror/mode/textile/index.html +191 -0
- data/public/codemirror/mode/textile/test.js +417 -0
- data/public/codemirror/mode/textile/textile.js +469 -0
- data/public/codemirror/mode/tiddlywiki/index.html +154 -0
- data/public/codemirror/mode/tiddlywiki/tiddlywiki.css +14 -0
- data/public/codemirror/mode/tiddlywiki/tiddlywiki.js +358 -0
- data/public/codemirror/mode/tiki/index.html +95 -0
- data/public/codemirror/mode/tiki/tiki.css +26 -0
- data/public/codemirror/mode/tiki/tiki.js +312 -0
- data/public/codemirror/mode/toml/index.html +73 -0
- data/public/codemirror/mode/toml/toml.js +88 -0
- data/public/codemirror/mode/tornado/index.html +63 -0
- data/public/codemirror/mode/tornado/tornado.js +68 -0
- data/public/codemirror/mode/troff/index.html +146 -0
- data/public/codemirror/mode/troff/troff.js +82 -0
- data/public/codemirror/mode/ttcn-cfg/index.html +115 -0
- data/public/codemirror/mode/ttcn-cfg/ttcn-cfg.js +214 -0
- data/public/codemirror/mode/ttcn/index.html +118 -0
- data/public/codemirror/mode/ttcn/ttcn.js +283 -0
- data/public/codemirror/mode/turtle/index.html +50 -0
- data/public/codemirror/mode/turtle/turtle.js +162 -0
- data/public/codemirror/mode/twig/index.html +45 -0
- data/public/codemirror/mode/twig/twig.js +132 -0
- data/public/codemirror/mode/vb/index.html +102 -0
- data/public/codemirror/mode/vb/vb.js +276 -0
- data/public/codemirror/mode/vbscript/index.html +55 -0
- data/public/codemirror/mode/vbscript/vbscript.js +350 -0
- data/public/codemirror/mode/velocity/index.html +118 -0
- data/public/codemirror/mode/velocity/velocity.js +201 -0
- data/public/codemirror/mode/verilog/index.html +120 -0
- data/public/codemirror/mode/verilog/test.js +273 -0
- data/public/codemirror/mode/verilog/verilog.js +537 -0
- data/public/codemirror/mode/vhdl/index.html +95 -0
- data/public/codemirror/mode/vhdl/vhdl.js +189 -0
- data/public/codemirror/mode/xml/index.html +57 -0
- data/public/codemirror/mode/xml/test.js +51 -0
- data/public/codemirror/mode/xml/xml.js +385 -0
- data/public/codemirror/mode/xquery/index.html +210 -0
- data/public/codemirror/mode/xquery/test.js +67 -0
- data/public/codemirror/mode/xquery/xquery.js +437 -0
- data/public/codemirror/mode/yaml/index.html +80 -0
- data/public/codemirror/mode/yaml/yaml.js +117 -0
- data/public/codemirror/mode/z80/index.html +53 -0
- data/public/codemirror/mode/z80/z80.js +116 -0
- data/public/codemirror/package.json +20 -0
- data/public/codemirror/test/comment_test.js +100 -0
- data/public/codemirror/test/doc_test.js +371 -0
- data/public/codemirror/test/driver.js +138 -0
- data/public/codemirror/test/emacs_test.js +147 -0
- data/public/codemirror/test/index.html +241 -0
- data/public/codemirror/test/lint.js +11 -0
- data/public/codemirror/test/mode_test.css +23 -0
- data/public/codemirror/test/mode_test.js +192 -0
- data/public/codemirror/test/multi_test.js +285 -0
- data/public/codemirror/test/phantom_driver.js +31 -0
- data/public/codemirror/test/run.js +31 -0
- data/public/codemirror/test/scroll_test.js +115 -0
- data/public/codemirror/test/search_test.js +62 -0
- data/public/codemirror/test/sql-hint-test.js +189 -0
- data/public/codemirror/test/sublime_test.js +303 -0
- data/public/codemirror/test/test.js +2142 -0
- data/public/codemirror/test/vim_test.js +3955 -0
- data/public/codemirror/theme/3024-day.css +41 -0
- data/public/codemirror/theme/3024-night.css +39 -0
- data/public/codemirror/theme/ambiance-mobile.css +5 -0
- data/public/codemirror/theme/ambiance.css +76 -0
- data/public/codemirror/theme/base16-dark.css +38 -0
- data/public/codemirror/theme/base16-light.css +38 -0
- data/public/codemirror/theme/blackboard.css +32 -0
- data/public/codemirror/theme/cobalt.css +25 -0
- data/public/codemirror/theme/colorforth.css +33 -0
- data/public/codemirror/theme/dracula.css +87 -0
- data/public/codemirror/theme/eclipse.css +23 -0
- data/public/codemirror/theme/elegant.css +13 -0
- data/public/codemirror/theme/erlang-dark.css +34 -0
- data/public/codemirror/theme/icecoder.css +42 -0
- data/public/codemirror/theme/lesser-dark.css +47 -0
- data/public/codemirror/theme/lines.css +109 -0
- data/public/codemirror/theme/liquibyte.css +95 -0
- data/public/codemirror/theme/material.css +105 -0
- data/public/codemirror/theme/mbo.css +37 -0
- data/public/codemirror/theme/mdn-like.css +46 -0
- data/public/codemirror/theme/midnight.css +47 -0
- data/public/codemirror/theme/monokai.css +35 -0
- data/public/codemirror/theme/neat.css +12 -0
- data/public/codemirror/theme/neo.css +43 -0
- data/public/codemirror/theme/night.css +28 -0
- data/public/codemirror/theme/paraiso-dark.css +38 -0
- data/public/codemirror/theme/paraiso-light.css +38 -0
- data/public/codemirror/theme/pastel-on-dark.css +53 -0
- data/public/codemirror/theme/rubyblue.css +25 -0
- data/public/codemirror/theme/seti.css +88 -0
- data/public/codemirror/theme/solarized.css +165 -0
- data/public/codemirror/theme/the-matrix.css +30 -0
- data/public/codemirror/theme/tomorrow-night-bright.css +35 -0
- data/public/codemirror/theme/tomorrow-night-eighties.css +38 -0
- data/public/codemirror/theme/ttcn.css +65 -0
- data/public/codemirror/theme/twilight.css +32 -0
- data/public/codemirror/theme/vibrant-ink.css +34 -0
- data/public/codemirror/theme/xq-dark.css +53 -0
- data/public/codemirror/theme/xq-light.css +43 -0
- data/public/codemirror/theme/yeti.css +86 -0
- data/public/codemirror/theme/zenburn.css +37 -0
- data/public/fira-mono/FiraMono-Bold.eot +0 -0
- data/public/fira-mono/FiraMono-Bold.otf +0 -0
- data/public/fira-mono/FiraMono-Bold.ttf +0 -0
- data/public/fira-mono/FiraMono-Bold.woff +0 -0
- data/public/fira-mono/FiraMono-Medium.eot +0 -0
- data/public/fira-mono/FiraMono-Medium.otf +0 -0
- data/public/fira-mono/FiraMono-Medium.ttf +0 -0
- data/public/fira-mono/FiraMono-Medium.woff +0 -0
- data/public/fira-mono/FiraMono-Regular.eot +0 -0
- data/public/fira-mono/FiraMono-Regular.otf +0 -0
- data/public/fira-mono/FiraMono-Regular.ttf +0 -0
- data/public/fira-mono/FiraMono-Regular.woff +0 -0
- data/public/fira-mono/fira-mono.css +32 -0
- data/public/heroes/lines_default_01.png +0 -0
- data/public/heroes/lines_default_02.png +0 -0
- data/public/heroes/lines_default_03.png +0 -0
- data/public/iconfont/iconfont.css +48 -0
- data/public/iconfont/iconfont.eot +0 -0
- data/public/iconfont/iconfont.svg +18 -0
- data/public/iconfont/iconfont.ttf +0 -0
- data/public/iconfont/iconfont.woff +0 -0
- data/spec/dummy/config/environments/test.rb +3 -1
- data/spec/dummy/db/migrate/20140505122014_base_migration.rb +84 -0
- data/spec/dummy/db/migrate/20140702160602_acts_as_taggable_on_migration.acts_as_taggable_on_engine.rb +31 -0
- data/spec/dummy/db/migrate/20140702160603_add_missing_unique_indices.acts_as_taggable_on_engine.rb +20 -0
- data/spec/dummy/db/migrate/20140702160604_add_taggings_counter_cache_to_tags.acts_as_taggable_on_engine.rb +15 -0
- data/spec/dummy/db/migrate/20141027143656_add_teaser_to_article.rb +5 -0
- data/spec/dummy/db/migrate/20150421093311_add_reset_password_fields_to_users.rb +6 -0
- data/spec/dummy/db/schema.rb +50 -50
- data/spec/dummy/db/seeds.rb +5 -5
- data/spec/factories/users.rb +1 -1
- data/spec/features/article_spec.rb +4 -4
- data/spec/features/password_reset_spec.rb +17 -17
- data/spec/features/user_logs_in_spec.rb +6 -8
- data/spec/mailers/lines/user_mailer_spec.rb +1 -1
- data/spec/models/article_spec.rb +6 -6
- data/spec/support/auth_macros.rb +2 -2
- metadata +492 -26
- metadata.gz.sig +0 -0
- data/app/assets/images/ic_gplus.png +0 -0
- data/app/assets/images/ic_gplus_hover.png +0 -0
- data/app/assets/images/logo.png +0 -0
- data/app/assets/images/logo_opoloo.png +0 -0
- data/app/assets/images/signet.png +0 -0
- data/app/assets/javascripts/lines/admin.js +0 -201
- data/app/assets/stylesheets/lines/admin.scss +0 -970
- data/app/views/layouts/lines/_messages.html.erb +0 -8
- data/app/views/lines/admin/articles/_formatting_guide.html.erb +0 -89
- data/public/heroes/001.jpg +0 -0
- data/public/heroes/001_dark.jpg +0 -0
- data/public/heroes/002.jpg +0 -0
- data/public/heroes/002_dark.jpg +0 -0
- data/public/heroes/003.jpg +0 -0
- data/public/heroes/003_dark.jpg +0 -0
- data/spec/dummy/config/lines_config.yml +0 -58
@@ -0,0 +1,110 @@
|
|
1
|
+
<!doctype html>
|
2
|
+
|
3
|
+
<title>CodeMirror: sTeX mode</title>
|
4
|
+
<meta charset="utf-8"/>
|
5
|
+
<link rel=stylesheet href="../../doc/docs.css">
|
6
|
+
|
7
|
+
<link rel="stylesheet" href="../../lib/codemirror.css">
|
8
|
+
<script src="../../lib/codemirror.js"></script>
|
9
|
+
<script src="stex.js"></script>
|
10
|
+
<style>.CodeMirror {background: #f8f8f8;}</style>
|
11
|
+
<div id=nav>
|
12
|
+
<a href="http://codemirror.net"><h1>CodeMirror</h1><img id=logo src="../../doc/logo.png"></a>
|
13
|
+
|
14
|
+
<ul>
|
15
|
+
<li><a href="../../index.html">Home</a>
|
16
|
+
<li><a href="../../doc/manual.html">Manual</a>
|
17
|
+
<li><a href="https://github.com/codemirror/codemirror">Code</a>
|
18
|
+
</ul>
|
19
|
+
<ul>
|
20
|
+
<li><a href="../index.html">Language modes</a>
|
21
|
+
<li><a class=active href="#">sTeX</a>
|
22
|
+
</ul>
|
23
|
+
</div>
|
24
|
+
|
25
|
+
<article>
|
26
|
+
<h2>sTeX mode</h2>
|
27
|
+
<form><textarea id="code" name="code">
|
28
|
+
\begin{module}[id=bbt-size]
|
29
|
+
\importmodule[balanced-binary-trees]{balanced-binary-trees}
|
30
|
+
\importmodule[\KWARCslides{dmath/en/cardinality}]{cardinality}
|
31
|
+
|
32
|
+
\begin{frame}
|
33
|
+
\frametitle{Size Lemma for Balanced Trees}
|
34
|
+
\begin{itemize}
|
35
|
+
\item
|
36
|
+
\begin{assertion}[id=size-lemma,type=lemma]
|
37
|
+
Let $G=\tup{V,E}$ be a \termref[cd=binary-trees]{balanced binary tree}
|
38
|
+
of \termref[cd=graph-depth,name=vertex-depth]{depth}$n>i$, then the set
|
39
|
+
$\defeq{\livar{V}i}{\setst{\inset{v}{V}}{\gdepth{v} = i}}$ of
|
40
|
+
\termref[cd=graphs-intro,name=node]{nodes} at
|
41
|
+
\termref[cd=graph-depth,name=vertex-depth]{depth} $i$ has
|
42
|
+
\termref[cd=cardinality,name=cardinality]{cardinality} $\power2i$.
|
43
|
+
\end{assertion}
|
44
|
+
\item
|
45
|
+
\begin{sproof}[id=size-lemma-pf,proofend=,for=size-lemma]{via induction over the depth $i$.}
|
46
|
+
\begin{spfcases}{We have to consider two cases}
|
47
|
+
\begin{spfcase}{$i=0$}
|
48
|
+
\begin{spfstep}[display=flow]
|
49
|
+
then $\livar{V}i=\set{\livar{v}r}$, where $\livar{v}r$ is the root, so
|
50
|
+
$\eq{\card{\livar{V}0},\card{\set{\livar{v}r}},1,\power20}$.
|
51
|
+
\end{spfstep}
|
52
|
+
\end{spfcase}
|
53
|
+
\begin{spfcase}{$i>0$}
|
54
|
+
\begin{spfstep}[display=flow]
|
55
|
+
then $\livar{V}{i-1}$ contains $\power2{i-1}$ vertexes
|
56
|
+
\begin{justification}[method=byIH](IH)\end{justification}
|
57
|
+
\end{spfstep}
|
58
|
+
\begin{spfstep}
|
59
|
+
By the \begin{justification}[method=byDef]definition of a binary
|
60
|
+
tree\end{justification}, each $\inset{v}{\livar{V}{i-1}}$ is a leaf or has
|
61
|
+
two children that are at depth $i$.
|
62
|
+
\end{spfstep}
|
63
|
+
\begin{spfstep}
|
64
|
+
As $G$ is \termref[cd=balanced-binary-trees,name=balanced-binary-tree]{balanced} and $\gdepth{G}=n>i$, $\livar{V}{i-1}$ cannot contain
|
65
|
+
leaves.
|
66
|
+
\end{spfstep}
|
67
|
+
\begin{spfstep}[type=conclusion]
|
68
|
+
Thus $\eq{\card{\livar{V}i},{\atimes[cdot]{2,\card{\livar{V}{i-1}}}},{\atimes[cdot]{2,\power2{i-1}}},\power2i}$.
|
69
|
+
\end{spfstep}
|
70
|
+
\end{spfcase}
|
71
|
+
\end{spfcases}
|
72
|
+
\end{sproof}
|
73
|
+
\item
|
74
|
+
\begin{assertion}[id=fbbt,type=corollary]
|
75
|
+
A fully balanced tree of depth $d$ has $\power2{d+1}-1$ nodes.
|
76
|
+
\end{assertion}
|
77
|
+
\item
|
78
|
+
\begin{sproof}[for=fbbt,id=fbbt-pf]{}
|
79
|
+
\begin{spfstep}
|
80
|
+
Let $\defeq{G}{\tup{V,E}}$ be a fully balanced tree
|
81
|
+
\end{spfstep}
|
82
|
+
\begin{spfstep}
|
83
|
+
Then $\card{V}=\Sumfromto{i}1d{\power2i}= \power2{d+1}-1$.
|
84
|
+
\end{spfstep}
|
85
|
+
\end{sproof}
|
86
|
+
\end{itemize}
|
87
|
+
\end{frame}
|
88
|
+
\begin{note}
|
89
|
+
\begin{omtext}[type=conclusion,for=binary-tree]
|
90
|
+
This shows that balanced binary trees grow in breadth very quickly, a consequence of
|
91
|
+
this is that they are very shallow (and this compute very fast), which is the essence of
|
92
|
+
the next result.
|
93
|
+
\end{omtext}
|
94
|
+
\end{note}
|
95
|
+
\end{module}
|
96
|
+
|
97
|
+
%%% Local Variables:
|
98
|
+
%%% mode: LaTeX
|
99
|
+
%%% TeX-master: "all"
|
100
|
+
%%% End: \end{document}
|
101
|
+
</textarea></form>
|
102
|
+
<script>
|
103
|
+
var editor = CodeMirror.fromTextArea(document.getElementById("code"), {});
|
104
|
+
</script>
|
105
|
+
|
106
|
+
<p><strong>MIME types defined:</strong> <code>text/x-stex</code>.</p>
|
107
|
+
|
108
|
+
<p><strong>Parsing/Highlighting Tests:</strong> <a href="../../test/index.html#stex_*">normal</a>, <a href="../../test/index.html#verbose,stex_*">verbose</a>.</p>
|
109
|
+
|
110
|
+
</article>
|
@@ -0,0 +1,251 @@
|
|
1
|
+
// CodeMirror, copyright (c) by Marijn Haverbeke and others
|
2
|
+
// Distributed under an MIT license: http://codemirror.net/LICENSE
|
3
|
+
|
4
|
+
/*
|
5
|
+
* Author: Constantin Jucovschi (c.jucovschi@jacobs-university.de)
|
6
|
+
* Licence: MIT
|
7
|
+
*/
|
8
|
+
|
9
|
+
(function(mod) {
|
10
|
+
if (typeof exports == "object" && typeof module == "object") // CommonJS
|
11
|
+
mod(require("../../lib/codemirror"));
|
12
|
+
else if (typeof define == "function" && define.amd) // AMD
|
13
|
+
define(["../../lib/codemirror"], mod);
|
14
|
+
else // Plain browser env
|
15
|
+
mod(CodeMirror);
|
16
|
+
})(function(CodeMirror) {
|
17
|
+
"use strict";
|
18
|
+
|
19
|
+
CodeMirror.defineMode("stex", function() {
|
20
|
+
"use strict";
|
21
|
+
|
22
|
+
function pushCommand(state, command) {
|
23
|
+
state.cmdState.push(command);
|
24
|
+
}
|
25
|
+
|
26
|
+
function peekCommand(state) {
|
27
|
+
if (state.cmdState.length > 0) {
|
28
|
+
return state.cmdState[state.cmdState.length - 1];
|
29
|
+
} else {
|
30
|
+
return null;
|
31
|
+
}
|
32
|
+
}
|
33
|
+
|
34
|
+
function popCommand(state) {
|
35
|
+
var plug = state.cmdState.pop();
|
36
|
+
if (plug) {
|
37
|
+
plug.closeBracket();
|
38
|
+
}
|
39
|
+
}
|
40
|
+
|
41
|
+
// returns the non-default plugin closest to the end of the list
|
42
|
+
function getMostPowerful(state) {
|
43
|
+
var context = state.cmdState;
|
44
|
+
for (var i = context.length - 1; i >= 0; i--) {
|
45
|
+
var plug = context[i];
|
46
|
+
if (plug.name == "DEFAULT") {
|
47
|
+
continue;
|
48
|
+
}
|
49
|
+
return plug;
|
50
|
+
}
|
51
|
+
return { styleIdentifier: function() { return null; } };
|
52
|
+
}
|
53
|
+
|
54
|
+
function addPluginPattern(pluginName, cmdStyle, styles) {
|
55
|
+
return function () {
|
56
|
+
this.name = pluginName;
|
57
|
+
this.bracketNo = 0;
|
58
|
+
this.style = cmdStyle;
|
59
|
+
this.styles = styles;
|
60
|
+
this.argument = null; // \begin and \end have arguments that follow. These are stored in the plugin
|
61
|
+
|
62
|
+
this.styleIdentifier = function() {
|
63
|
+
return this.styles[this.bracketNo - 1] || null;
|
64
|
+
};
|
65
|
+
this.openBracket = function() {
|
66
|
+
this.bracketNo++;
|
67
|
+
return "bracket";
|
68
|
+
};
|
69
|
+
this.closeBracket = function() {};
|
70
|
+
};
|
71
|
+
}
|
72
|
+
|
73
|
+
var plugins = {};
|
74
|
+
|
75
|
+
plugins["importmodule"] = addPluginPattern("importmodule", "tag", ["string", "builtin"]);
|
76
|
+
plugins["documentclass"] = addPluginPattern("documentclass", "tag", ["", "atom"]);
|
77
|
+
plugins["usepackage"] = addPluginPattern("usepackage", "tag", ["atom"]);
|
78
|
+
plugins["begin"] = addPluginPattern("begin", "tag", ["atom"]);
|
79
|
+
plugins["end"] = addPluginPattern("end", "tag", ["atom"]);
|
80
|
+
|
81
|
+
plugins["DEFAULT"] = function () {
|
82
|
+
this.name = "DEFAULT";
|
83
|
+
this.style = "tag";
|
84
|
+
|
85
|
+
this.styleIdentifier = this.openBracket = this.closeBracket = function() {};
|
86
|
+
};
|
87
|
+
|
88
|
+
function setState(state, f) {
|
89
|
+
state.f = f;
|
90
|
+
}
|
91
|
+
|
92
|
+
// called when in a normal (no environment) context
|
93
|
+
function normal(source, state) {
|
94
|
+
var plug;
|
95
|
+
// Do we look like '\command' ? If so, attempt to apply the plugin 'command'
|
96
|
+
if (source.match(/^\\[a-zA-Z@]+/)) {
|
97
|
+
var cmdName = source.current().slice(1);
|
98
|
+
plug = plugins[cmdName] || plugins["DEFAULT"];
|
99
|
+
plug = new plug();
|
100
|
+
pushCommand(state, plug);
|
101
|
+
setState(state, beginParams);
|
102
|
+
return plug.style;
|
103
|
+
}
|
104
|
+
|
105
|
+
// escape characters
|
106
|
+
if (source.match(/^\\[$&%#{}_]/)) {
|
107
|
+
return "tag";
|
108
|
+
}
|
109
|
+
|
110
|
+
// white space control characters
|
111
|
+
if (source.match(/^\\[,;!\/\\]/)) {
|
112
|
+
return "tag";
|
113
|
+
}
|
114
|
+
|
115
|
+
// find if we're starting various math modes
|
116
|
+
if (source.match("\\[")) {
|
117
|
+
setState(state, function(source, state){ return inMathMode(source, state, "\\]"); });
|
118
|
+
return "keyword";
|
119
|
+
}
|
120
|
+
if (source.match("$$")) {
|
121
|
+
setState(state, function(source, state){ return inMathMode(source, state, "$$"); });
|
122
|
+
return "keyword";
|
123
|
+
}
|
124
|
+
if (source.match("$")) {
|
125
|
+
setState(state, function(source, state){ return inMathMode(source, state, "$"); });
|
126
|
+
return "keyword";
|
127
|
+
}
|
128
|
+
|
129
|
+
var ch = source.next();
|
130
|
+
if (ch == "%") {
|
131
|
+
source.skipToEnd();
|
132
|
+
return "comment";
|
133
|
+
} else if (ch == '}' || ch == ']') {
|
134
|
+
plug = peekCommand(state);
|
135
|
+
if (plug) {
|
136
|
+
plug.closeBracket(ch);
|
137
|
+
setState(state, beginParams);
|
138
|
+
} else {
|
139
|
+
return "error";
|
140
|
+
}
|
141
|
+
return "bracket";
|
142
|
+
} else if (ch == '{' || ch == '[') {
|
143
|
+
plug = plugins["DEFAULT"];
|
144
|
+
plug = new plug();
|
145
|
+
pushCommand(state, plug);
|
146
|
+
return "bracket";
|
147
|
+
} else if (/\d/.test(ch)) {
|
148
|
+
source.eatWhile(/[\w.%]/);
|
149
|
+
return "atom";
|
150
|
+
} else {
|
151
|
+
source.eatWhile(/[\w\-_]/);
|
152
|
+
plug = getMostPowerful(state);
|
153
|
+
if (plug.name == 'begin') {
|
154
|
+
plug.argument = source.current();
|
155
|
+
}
|
156
|
+
return plug.styleIdentifier();
|
157
|
+
}
|
158
|
+
}
|
159
|
+
|
160
|
+
function inMathMode(source, state, endModeSeq) {
|
161
|
+
if (source.eatSpace()) {
|
162
|
+
return null;
|
163
|
+
}
|
164
|
+
if (source.match(endModeSeq)) {
|
165
|
+
setState(state, normal);
|
166
|
+
return "keyword";
|
167
|
+
}
|
168
|
+
if (source.match(/^\\[a-zA-Z@]+/)) {
|
169
|
+
return "tag";
|
170
|
+
}
|
171
|
+
if (source.match(/^[a-zA-Z]+/)) {
|
172
|
+
return "variable-2";
|
173
|
+
}
|
174
|
+
// escape characters
|
175
|
+
if (source.match(/^\\[$&%#{}_]/)) {
|
176
|
+
return "tag";
|
177
|
+
}
|
178
|
+
// white space control characters
|
179
|
+
if (source.match(/^\\[,;!\/]/)) {
|
180
|
+
return "tag";
|
181
|
+
}
|
182
|
+
// special math-mode characters
|
183
|
+
if (source.match(/^[\^_&]/)) {
|
184
|
+
return "tag";
|
185
|
+
}
|
186
|
+
// non-special characters
|
187
|
+
if (source.match(/^[+\-<>|=,\/@!*:;'"`~#?]/)) {
|
188
|
+
return null;
|
189
|
+
}
|
190
|
+
if (source.match(/^(\d+\.\d*|\d*\.\d+|\d+)/)) {
|
191
|
+
return "number";
|
192
|
+
}
|
193
|
+
var ch = source.next();
|
194
|
+
if (ch == "{" || ch == "}" || ch == "[" || ch == "]" || ch == "(" || ch == ")") {
|
195
|
+
return "bracket";
|
196
|
+
}
|
197
|
+
|
198
|
+
if (ch == "%") {
|
199
|
+
source.skipToEnd();
|
200
|
+
return "comment";
|
201
|
+
}
|
202
|
+
return "error";
|
203
|
+
}
|
204
|
+
|
205
|
+
function beginParams(source, state) {
|
206
|
+
var ch = source.peek(), lastPlug;
|
207
|
+
if (ch == '{' || ch == '[') {
|
208
|
+
lastPlug = peekCommand(state);
|
209
|
+
lastPlug.openBracket(ch);
|
210
|
+
source.eat(ch);
|
211
|
+
setState(state, normal);
|
212
|
+
return "bracket";
|
213
|
+
}
|
214
|
+
if (/[ \t\r]/.test(ch)) {
|
215
|
+
source.eat(ch);
|
216
|
+
return null;
|
217
|
+
}
|
218
|
+
setState(state, normal);
|
219
|
+
popCommand(state);
|
220
|
+
|
221
|
+
return normal(source, state);
|
222
|
+
}
|
223
|
+
|
224
|
+
return {
|
225
|
+
startState: function() {
|
226
|
+
return {
|
227
|
+
cmdState: [],
|
228
|
+
f: normal
|
229
|
+
};
|
230
|
+
},
|
231
|
+
copyState: function(s) {
|
232
|
+
return {
|
233
|
+
cmdState: s.cmdState.slice(),
|
234
|
+
f: s.f
|
235
|
+
};
|
236
|
+
},
|
237
|
+
token: function(stream, state) {
|
238
|
+
return state.f(stream, state);
|
239
|
+
},
|
240
|
+
blankLine: function(state) {
|
241
|
+
state.f = normal;
|
242
|
+
state.cmdState.length = 0;
|
243
|
+
},
|
244
|
+
lineComment: "%"
|
245
|
+
};
|
246
|
+
});
|
247
|
+
|
248
|
+
CodeMirror.defineMIME("text/x-stex", "stex");
|
249
|
+
CodeMirror.defineMIME("text/x-latex", "stex");
|
250
|
+
|
251
|
+
});
|
@@ -0,0 +1,123 @@
|
|
1
|
+
// CodeMirror, copyright (c) by Marijn Haverbeke and others
|
2
|
+
// Distributed under an MIT license: http://codemirror.net/LICENSE
|
3
|
+
|
4
|
+
(function() {
|
5
|
+
var mode = CodeMirror.getMode({tabSize: 4}, "stex");
|
6
|
+
function MT(name) { test.mode(name, mode, Array.prototype.slice.call(arguments, 1)); }
|
7
|
+
|
8
|
+
MT("word",
|
9
|
+
"foo");
|
10
|
+
|
11
|
+
MT("twoWords",
|
12
|
+
"foo bar");
|
13
|
+
|
14
|
+
MT("beginEndDocument",
|
15
|
+
"[tag \\begin][bracket {][atom document][bracket }]",
|
16
|
+
"[tag \\end][bracket {][atom document][bracket }]");
|
17
|
+
|
18
|
+
MT("beginEndEquation",
|
19
|
+
"[tag \\begin][bracket {][atom equation][bracket }]",
|
20
|
+
" E=mc^2",
|
21
|
+
"[tag \\end][bracket {][atom equation][bracket }]");
|
22
|
+
|
23
|
+
MT("beginModule",
|
24
|
+
"[tag \\begin][bracket {][atom module][bracket }[[]]]");
|
25
|
+
|
26
|
+
MT("beginModuleId",
|
27
|
+
"[tag \\begin][bracket {][atom module][bracket }[[]id=bbt-size[bracket ]]]");
|
28
|
+
|
29
|
+
MT("importModule",
|
30
|
+
"[tag \\importmodule][bracket [[][string b-b-t][bracket ]]{][builtin b-b-t][bracket }]");
|
31
|
+
|
32
|
+
MT("importModulePath",
|
33
|
+
"[tag \\importmodule][bracket [[][tag \\KWARCslides][bracket {][string dmath/en/cardinality][bracket }]]{][builtin card][bracket }]");
|
34
|
+
|
35
|
+
MT("psForPDF",
|
36
|
+
"[tag \\PSforPDF][bracket [[][atom 1][bracket ]]{]#1[bracket }]");
|
37
|
+
|
38
|
+
MT("comment",
|
39
|
+
"[comment % foo]");
|
40
|
+
|
41
|
+
MT("tagComment",
|
42
|
+
"[tag \\item][comment % bar]");
|
43
|
+
|
44
|
+
MT("commentTag",
|
45
|
+
" [comment % \\item]");
|
46
|
+
|
47
|
+
MT("commentLineBreak",
|
48
|
+
"[comment %]",
|
49
|
+
"foo");
|
50
|
+
|
51
|
+
MT("tagErrorCurly",
|
52
|
+
"[tag \\begin][error }][bracket {]");
|
53
|
+
|
54
|
+
MT("tagErrorSquare",
|
55
|
+
"[tag \\item][error ]]][bracket {]");
|
56
|
+
|
57
|
+
MT("commentCurly",
|
58
|
+
"[comment % }]");
|
59
|
+
|
60
|
+
MT("tagHash",
|
61
|
+
"the [tag \\#] key");
|
62
|
+
|
63
|
+
MT("tagNumber",
|
64
|
+
"a [tag \\$][atom 5] stetson");
|
65
|
+
|
66
|
+
MT("tagPercent",
|
67
|
+
"[atom 100][tag \\%] beef");
|
68
|
+
|
69
|
+
MT("tagAmpersand",
|
70
|
+
"L [tag \\&] N");
|
71
|
+
|
72
|
+
MT("tagUnderscore",
|
73
|
+
"foo[tag \\_]bar");
|
74
|
+
|
75
|
+
MT("tagBracketOpen",
|
76
|
+
"[tag \\emph][bracket {][tag \\{][bracket }]");
|
77
|
+
|
78
|
+
MT("tagBracketClose",
|
79
|
+
"[tag \\emph][bracket {][tag \\}][bracket }]");
|
80
|
+
|
81
|
+
MT("tagLetterNumber",
|
82
|
+
"section [tag \\S][atom 1]");
|
83
|
+
|
84
|
+
MT("textTagNumber",
|
85
|
+
"para [tag \\P][atom 2]");
|
86
|
+
|
87
|
+
MT("thinspace",
|
88
|
+
"x[tag \\,]y");
|
89
|
+
|
90
|
+
MT("thickspace",
|
91
|
+
"x[tag \\;]y");
|
92
|
+
|
93
|
+
MT("negativeThinspace",
|
94
|
+
"x[tag \\!]y");
|
95
|
+
|
96
|
+
MT("periodNotSentence",
|
97
|
+
"J.\\ L.\\ is");
|
98
|
+
|
99
|
+
MT("periodSentence",
|
100
|
+
"X[tag \\@]. The");
|
101
|
+
|
102
|
+
MT("italicCorrection",
|
103
|
+
"[bracket {][tag \\em] If[tag \\/][bracket }] I");
|
104
|
+
|
105
|
+
MT("tagBracket",
|
106
|
+
"[tag \\newcommand][bracket {][tag \\pop][bracket }]");
|
107
|
+
|
108
|
+
MT("inlineMathTagFollowedByNumber",
|
109
|
+
"[keyword $][tag \\pi][number 2][keyword $]");
|
110
|
+
|
111
|
+
MT("inlineMath",
|
112
|
+
"[keyword $][number 3][variable-2 x][tag ^][number 2.45]-[tag \\sqrt][bracket {][tag \\$\\alpha][bracket }] = [number 2][keyword $] other text");
|
113
|
+
|
114
|
+
MT("displayMath",
|
115
|
+
"More [keyword $$]\t[variable-2 S][tag ^][variable-2 n][tag \\sum] [variable-2 i][keyword $$] other text");
|
116
|
+
|
117
|
+
MT("mathWithComment",
|
118
|
+
"[keyword $][variable-2 x] [comment % $]",
|
119
|
+
"[variable-2 y][keyword $] other text");
|
120
|
+
|
121
|
+
MT("lineBreakArgument",
|
122
|
+
"[tag \\\\][bracket [[][atom 1cm][bracket ]]]");
|
123
|
+
})();
|