diff options
Diffstat (limited to 'codemirror_ui/lib/CodeMirror-2.3/demo/theme.html')
-rw-r--r-- | codemirror_ui/lib/CodeMirror-2.3/demo/theme.html | 78 |
1 files changed, 78 insertions, 0 deletions
diff --git a/codemirror_ui/lib/CodeMirror-2.3/demo/theme.html b/codemirror_ui/lib/CodeMirror-2.3/demo/theme.html new file mode 100644 index 0000000..ac47d91 --- /dev/null +++ b/codemirror_ui/lib/CodeMirror-2.3/demo/theme.html @@ -0,0 +1,78 @@ +<!doctype html> +<html> + <head> + <title>CodeMirror: Theme Demo</title> + <link rel="stylesheet" href="../lib/codemirror.css"> + <script src="../lib/codemirror.js"></script> + <link rel="stylesheet" href="../theme/neat.css"> + <link rel="stylesheet" href="../theme/elegant.css"> + <link rel="stylesheet" href="../theme/erlang-dark.css"> + <link rel="stylesheet" href="../theme/night.css"> + <link rel="stylesheet" href="../theme/monokai.css"> + <link rel="stylesheet" href="../theme/cobalt.css"> + <link rel="stylesheet" href="../theme/eclipse.css"> + <link rel="stylesheet" href="../theme/rubyblue.css"> + <link rel="stylesheet" href="../theme/lesser-dark.css"> + <link rel="stylesheet" href="../theme/xq-dark.css"> + <link rel="stylesheet" href="../theme/ambiance.css"> + <link rel="stylesheet" href="../theme/blackboard.css"> + <link rel="stylesheet" href="../theme/vibrant-ink.css"> + <script src="../mode/javascript/javascript.js"></script> + <link rel="stylesheet" href="../doc/docs.css"> + + <style type="text/css"> + .CodeMirror {border: 1px solid black; font-size:13px} + </style> + </head> + <body> + <h1>CodeMirror: Theme demo</h1> + + <form><textarea id="code" name="code"> +function findSequence(goal) { + function find(start, history) { + if (start == goal) + return history; + else if (start > goal) + return null; + else + return find(start + 5, "(" + history + " + 5)") || + find(start * 3, "(" + history + " * 3)"); + } + return find(1, "1"); +}</textarea></form> + +<p>Select a theme: <select onchange="selectTheme()" id=select> + <option selected>default</option> + <option>ambiance</option> + <option>blackboard</option> + <option>cobalt</option> + <option>eclipse</option> + <option>elegant</option> + <option>erlang-dark</option> + <option>lesser-dark</option> + <option>monokai</option> + <option>neat</option> + <option>night</option> + <option>rubyblue</option> + <option>vibrant-ink</option> + <option>xq-dark</option> +</select> +</p> + +<script> + var editor = CodeMirror.fromTextArea(document.getElementById("code"), { + lineNumbers: true + }); + var input = document.getElementById("select"); + function selectTheme() { + var theme = input.options[input.selectedIndex].innerHTML; + editor.setOption("theme", theme); + } + var choice = document.location.search && document.location.search.slice(1); + if (choice) { + input.value = choice; + editor.setOption("theme", choice); + } +</script> + </body> +</html> |