github.com/jonasnick/go-ethereum@v0.7.12-0.20150216215225-22176f05d387/cmd/mist/assets/muted/index.html (about)

     1  <!doctype>
     2  <html>
     3  <head>
     4  <title>Mutan Editor</title>
     5  <link rel="stylesheet" href="codemirror.css">
     6  <link rel="stylesheet" href="eclipse.css">
     7  <script src="lib/codemirror.js"></script>
     8  <script src="lib/matchbrackets.js"></script>
     9  <script src="lib/go.js"></script>
    10  <script src="muted.js"></script>
    11  
    12  <style type="text/css">
    13      html, body {
    14          margin: 0; padding: 0;
    15          min-height: 100%;
    16      }
    17  
    18      #debugger {
    19  	    height: 30%;
    20  	    font-family: "Monaco";
    21          border-top: 5px solid grey;
    22      }
    23      #debugger .line {
    24  	    overflow: none;
    25      }
    26      #debugger .col1, #debugger .col2 {
    27  	    float: left;
    28  	    padding: 3px;
    29      }
    30      #debugger .col1 {
    31  	    width: 10px;
    32  	    padding-left: 10px
    33  	    -webkit-touch-callout: none;
    34  	    -webkit-user-select: none;
    35  	    -khtml-user-select: none;
    36  	    -moz-user-select: none;
    37  	    -ms-user-select: none;
    38  	    user-select: none;
    39      }
    40      #debugger .col2 {
    41  	    width: 90%;
    42      }
    43      .prompt {
    44  	    color: "#5089D4";
    45      }
    46  
    47      .CodeMirror {
    48          height: 70%;
    49  	font-size: 14pt;
    50      }
    51  </style>
    52  </head>
    53  
    54  <body>
    55  <textarea id="editor"></textarea>
    56  
    57  <div id="debugger">
    58  	<div class="line">
    59  		<div class="col1 prompt">
    60  			&gt;
    61  		</div>
    62  		<div class="col2" contenteditable>
    63  		</div>
    64  	</div>
    65  </div>
    66  
    67  <script>
    68      var textArea = document.querySelector("#editor")
    69      var editor = CodeMirror.fromTextArea(textArea, {
    70          theme: "eclipse",
    71          mode: "text/html",
    72          lineNumbers: true,
    73          mode: "text/x-go",
    74          indentUnit: 8,
    75          tabSize: 8,
    76          indentWithTabs: true,
    77      });
    78  </script>
    79  </body>
    80  </html>