htwkmooc/codeocean
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
Files
bb8f19b866a7c7b15080b75c745424c256c40596
codeocean/vendor/assets/javascripts/ace
History
Sebastian Serth 1013903fef ACE Editor: Restore custom annotations 
This is a regression introduced by the recent ACE editor update to 1.2.0 and 1.2.9. We should consider this change when working https://github.com/openHPI/codeocean/issues/250.
2023-09-12 19:27:52 +02:00
..
snippets
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
ace.js
ACE Editor: Restore custom annotations
2023-09-12 19:27:52 +02:00
ext-beautify.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
ext-chromevox.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
ext-elastic_tabstops_lite.js
Update ACE Editor to version 1.2.0
2023-09-12 16:41:33 +02:00
ext-emmet.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
ext-error_marker.js
Update ACE Editor to version 1.2.0
2023-09-12 16:41:33 +02:00
ext-keybinding_menu.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
ext-language_tools.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
ext-linking.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
ext-modelist.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
ext-old_ie.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
ext-searchbox.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
ext-settings_menu.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
ext-spellcheck.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
ext-split.js
Update ACE Editor to version 1.2.0
2023-09-12 16:41:33 +02:00
ext-static_highlight.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
ext-statusbar.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
ext-textarea.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
ext-themelist.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
ext-whitespace.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
keybinding-emacs.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
keybinding-vim.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
mode-abap.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
mode-abc.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
mode-actionscript.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
mode-ada.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
mode-apache_conf.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
mode-applescript.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
mode-asciidoc.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
mode-assembly_x86.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
mode-autohotkey.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
mode-batchfile.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
mode-bro.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
mode-c9search.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
mode-c_cpp.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
mode-cirru.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
mode-clojure.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
mode-cobol.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
mode-coffee.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
mode-coldfusion.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
mode-csharp.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
mode-csound_document.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
mode-csound_orchestra.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
mode-csound_score.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
mode-css.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
mode-curly.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
mode-d.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
mode-dart.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
mode-diff.js
Update ACE Editor to version 1.2.0
2023-09-12 16:41:33 +02:00
mode-django.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
mode-dockerfile.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
mode-dot.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
mode-drools.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
mode-eiffel.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
mode-ejs.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
mode-elixir.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
mode-elm.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
mode-erlang.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
mode-forth.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
mode-fortran.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
mode-ftl.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
mode-gcode.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
mode-gherkin.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
mode-gitignore.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
mode-glsl.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
mode-gobstones.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
mode-golang.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
mode-graphqlschema.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
mode-groovy.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
mode-haml.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
mode-handlebars.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
mode-haskell_cabal.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
mode-haskell.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
mode-haxe.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
mode-hjson.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
mode-html_elixir.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
mode-html_ruby.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
mode-html.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
mode-ini.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
mode-io.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
mode-jack.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
mode-jade.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
mode-java.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
mode-javascript.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
mode-json.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
mode-jsoniq.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
mode-jsp.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
mode-jssm.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
mode-jsx.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
mode-julia.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
mode-kotlin.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
mode-latex.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
mode-lean.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
mode-less.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
mode-liquid.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
mode-lisp.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
mode-live_script.js
Update ACE Editor to version 1.2.0
2023-09-12 16:41:33 +02:00
mode-livescript.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
mode-logiql.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
mode-lsl.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
mode-lua.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
mode-luapage.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
mode-lucene.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
mode-makefile.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
mode-markdown.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
mode-mask.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
mode-matlab.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
mode-mavens_mate_log.js
Update ACE Editor to version 1.2.0
2023-09-12 16:41:33 +02:00
mode-maze.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
mode-mel.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
mode-mips_assembler.js
Update ACE Editor to version 1.2.0
2023-09-12 16:41:33 +02:00
mode-mipsassembler.js
Update ACE Editor to version 1.2.0
2023-09-12 16:41:33 +02:00
mode-mushcode.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
mode-mysql.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
mode-nix.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
mode-nsis.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
mode-objectivec.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
mode-ocaml.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
mode-pascal.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
mode-perl.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
mode-pgsql.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
mode-php.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
mode-pig.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
mode-plain_text.js
Update ACE Editor to version 1.2.0
2023-09-12 16:41:33 +02:00
mode-powershell.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
mode-praat.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
mode-prolog.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
mode-properties.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
mode-protobuf.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
mode-python.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
mode-r.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
mode-razor.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
mode-rdoc.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
mode-red.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
mode-rhtml.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
mode-rst.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
mode-ruby.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
mode-rust.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
mode-sass.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
mode-scad.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
mode-scala.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
mode-scheme.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
mode-scss.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
mode-sh.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
mode-sjs.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
mode-smarty.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
mode-snippets.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
mode-soy_template.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
mode-space.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
mode-sparql.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
mode-sql.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
mode-sqlserver.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
mode-stylus.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
mode-svg.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
mode-swift.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
mode-swig.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
mode-tcl.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
mode-tex.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
mode-text.js
Update ACE Editor to version 1.2.0
2023-09-12 16:41:33 +02:00
mode-textile.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
mode-toml.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
mode-tsx.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
mode-turtle.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
mode-twig.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
mode-typescript.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
mode-vala.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
mode-vbscript.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
mode-velocity.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
mode-verilog.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
mode-vhdl.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
mode-wollok.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
mode-xml.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
mode-xquery.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
mode-yaml.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
theme-ambiance.js
Update ACE Editor to version 1.2.0
2023-09-12 16:41:33 +02:00
theme-chaos.js
Update ACE Editor to version 1.2.0
2023-09-12 16:41:33 +02:00
theme-chrome.js
Update ACE Editor to version 1.2.0
2023-09-12 16:41:33 +02:00
theme-clouds_midnight.js
Update ACE Editor to version 1.2.0
2023-09-12 16:41:33 +02:00
theme-clouds.js
Update ACE Editor to version 1.2.0
2023-09-12 16:41:33 +02:00
theme-cobalt.js
Update ACE Editor to version 1.2.0
2023-09-12 16:41:33 +02:00
theme-crimson_editor.js
Update ACE Editor to version 1.2.0
2023-09-12 16:41:33 +02:00
theme-dawn.js
Update ACE Editor to version 1.2.0
2023-09-12 16:41:33 +02:00
theme-dracula.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
theme-dreamweaver.js
Update ACE Editor to version 1.2.0
2023-09-12 16:41:33 +02:00
theme-eclipse.js
Update ACE Editor to version 1.2.0
2023-09-12 16:41:33 +02:00
theme-github.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
theme-gob.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
theme-gruvbox.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
theme-idle_fingers.js
Update ACE Editor to version 1.2.0
2023-09-12 16:41:33 +02:00
theme-iplastic.js
Update ACE Editor to version 1.2.0
2023-09-12 16:41:33 +02:00
theme-katzenmilch.js
Update ACE Editor to version 1.2.0
2023-09-12 16:41:33 +02:00
theme-kr_theme.js
Update ACE Editor to version 1.2.0
2023-09-12 16:41:33 +02:00
theme-kuroir.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
theme-merbivore_soft.js
Update ACE Editor to version 1.2.0
2023-09-12 16:41:33 +02:00
theme-merbivore.js
Update ACE Editor to version 1.2.0
2023-09-12 16:41:33 +02:00
theme-mono_industrial.js
Update ACE Editor to version 1.2.0
2023-09-12 16:41:33 +02:00
theme-monokai.js
Update ACE Editor to version 1.2.0
2023-09-12 16:41:33 +02:00
theme-pastel_on_dark.js
Update ACE Editor to version 1.2.0
2023-09-12 16:41:33 +02:00
theme-solarized_dark.js
Update ACE Editor to version 1.2.0
2023-09-12 16:41:33 +02:00
theme-solarized_light.js
Update ACE Editor to version 1.2.0
2023-09-12 16:41:33 +02:00
theme-sqlserver.js
Update ACE Editor to version 1.2.0
2023-09-12 16:41:33 +02:00
theme-terminal.js
Update ACE Editor to version 1.2.0
2023-09-12 16:41:33 +02:00
theme-textmate.js
Update ACE Editor to version 1.2.0
2023-09-12 16:41:33 +02:00
theme-tomorrow_night_blue.js
Update ACE Editor to version 1.2.0
2023-09-12 16:41:33 +02:00
theme-tomorrow_night_bright.js
Update ACE Editor to version 1.2.0
2023-09-12 16:41:33 +02:00
theme-tomorrow_night_eighties.js
Update ACE Editor to version 1.2.0
2023-09-12 16:41:33 +02:00
theme-tomorrow_night.js
Update ACE Editor to version 1.2.0
2023-09-12 16:41:33 +02:00
theme-tomorrow.js
Update ACE Editor to version 1.2.0
2023-09-12 16:41:33 +02:00
theme-twilight.js
Update ACE Editor to version 1.2.0
2023-09-12 16:41:33 +02:00
theme-vibrant_ink.js
Update ACE Editor to version 1.2.0
2023-09-12 16:41:33 +02:00
theme-xcode.js
Update ACE Editor to version 1.2.0
2023-09-12 16:41:33 +02:00
worker-coffee.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
worker-css.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
worker-html.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
worker-javascript.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
worker-json.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
worker-lua.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
worker-php.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
worker-xml.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00
worker-xquery.js
Update ACE Editor to version 1.2.9
2023-09-12 18:54:04 +02:00