kallithea Files · rhodecode/public/js/mode/rust/index.html

Files @ e13a747e9c6a

Branch filter:

Location: kallithea/rhodecode/public/js/mode/rust/index.html

e13a747e9c6a 1.0 KiB text/html Show Annotation Show as Raw Download as Raw

Bradley M. Kuhn

Migrate to jQuery 1.10.2 from 1.10.1.

Include the minified version of jQuery 1.10.2 instead of 1.10.1. The 1.10.2
files were download via these commands:

$ wget -N http://code.jquery.com/jquery-1.10.2.min.js
$ wget -N http://code.jquery.com/jquery-1.10.2.min.map

Meanwhile, since the Javascript code is covered by GPLv3, we should always
provide an up-to-date version of the source code. I have included it
here by creating the directory jquery-src. I extracted the correct version
of the source with the following commands:

$ git clone git://github.com/jquery/jquery.git
$ git checkout 1.10.2

which is what the jQuery website instructs to do: http://jquery.com/download/

This repository is mirrorred at https://kallithea-scm.org/repos/mirror/jquery/ .

<!doctype html>
<html>
  <head>
    <meta charset="utf-8">
    <title>CodeMirror: Rust mode</title>
    <link rel="stylesheet" href="../../lib/codemirror.css">
    <script src="../../lib/codemirror.js"></script>
    <script src="rust.js"></script>
    <link rel="stylesheet" href="../../doc/docs.css">
    <style type="text/css">.CodeMirror {border-top: 1px solid black; border-bottom: 1px solid black;}</style>
  </head>
  <body>
    <h1>CodeMirror: Rust mode</h1>

<div><textarea id="code" name="code">
// Demo code.

type foo<T> = int;
enum bar {
    some(int, foo<float>),
    none
}

fn check_crate(x: int) {
    let v = 10;
    alt foo {
      1 to 3 {
        print_foo();
        if x {
            blah() + 10;
        }
      }
      (x, y) { "bye" }
      _ { "hi" }
    }
}
</textarea></div>

    <script>
      var editor = CodeMirror.fromTextArea(document.getElementById("code"), {
        lineNumbers: true,
        tabMode: "indent"
      });
    </script>

    <p><strong>MIME types defined:</strong> <code>text/x-rustsrc</code>.</p>
  </body>
</html>