##// END OF EJS Templates
Move create pull request button in pull requests view into the top...
Move create pull request button in pull requests view into the top menu, and hide it when you're not logged in

File last commit:

r4026:a60a0e90 default
r4081:089fb21d default
Show More
index.html
48 lines | 1.0 KiB | text/html | HtmlLexer
<!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>