launcher/src/main/resources/org/apidesign/bck2brwsr/dew/index.html
branchdew
changeset 542 7400dc9f48fb
parent 541 927a5f9fa430
     1.1 --- a/launcher/src/main/resources/org/apidesign/bck2brwsr/dew/index.html	Mon Jan 21 22:10:08 2013 +0100
     1.2 +++ b/launcher/src/main/resources/org/apidesign/bck2brwsr/dew/index.html	Tue Jan 22 19:48:10 2013 +0100
     1.3 @@ -56,7 +56,7 @@
     1.4                  <tr><td><i class="ic-java"></i> Java</td></tr>               
     1.5                  </table>                
     1.6                  <div>
     1.7 -                    <textarea id="editorJava" ui-codemirror='{ lineNumbers : true, mode : "text/x-java", theme : "elegant", matchBrackets : true, lineWrapping : true }' ng-model="java"></textarea>
     1.8 +                    <textarea id="editorJava" ui-codemirror='{ lineNumbers : true, mode : "text/x-java", theme : "elegant", matchBrackets : true, lineWrapping : true, gutters: ["CodeMirror-linenumbers", "issues"] }' ng-model="java"></textarea>
     1.9                      <div class="alert alert-error" ng-show="doc.modelError">
    1.10                          <small>{{doc.modelError.toString()}}</small>
    1.11                      </div>