Skip to content
Snippets Groups Projects
Select Git revision
  • b73dc8a184df94367f339092ba6cf52de0ec0fd1
  • master default protected
  • release-1.3.10
  • popover-bootstrap-3.4
  • zf-3.x
  • 3.0.9
  • 3.0.8
  • 1.3.10
  • 3.0.7
  • 3.0.6
  • 3.0.5
  • 3.0.4
  • 3.0.3
  • 3.0.2
  • 3.0.1
  • 3.0.0
  • 1.3.9
  • 1.3.8
  • 1.3.7
  • 1.3.6
  • 1.3.5
  • 1.3.4
  • 1.3.3
  • 1.3.2
  • 1.3.1
25 results

autoload_classmap.php

Blame
  • Forked from lib / unicaen / auth
    Source project has a limited visibility.
    Code owners
    Assign users and groups as approvers for specific file changes. Learn more.
    autoresize.html 1.56 KiB
    <!DOCTYPE html>
    <html lang="en">
    <head>
      <meta charset="UTF-8">
      <meta http-equiv="X-UA-Compatible" content="IE=edge,chrome=1">
      <title>Editor</title>
      <style type="text/css" media="screen">
    
    	.ace_editor {
    		border: 1px solid lightgray;
    		margin: auto;
    		height: 200px;
    		width: 80%;
    	}
    	.scrollmargin {
    		height: 80px;
            text-align: center;
    	}
        </style>
    </head>
    <body>
    <pre id="editor1">autoresizing editor</pre>
    <div class="scrollmargin"></div>
    <pre id="editor2">minHeight = 2 lines</pre>
    <div class="scrollmargin"></div>
    <pre id="editor3" style="width: 40%;"></pre>
    <div class="scrollmargin"></div>
    <pre id="editor"></pre>
    
    <!-- load ace -->
    <script src="../src/ace.js"></script>
    <script>
        var editor1 = ace.edit("editor1", {
            theme: "ace/theme/tomorrow_night_eighties",
            mode: "ace/mode/html",
            maxLines: 30,
            wrap: true,
            autoScrollEditorIntoView: true
        });
    
        var editor2 = ace.edit("editor2", {
            theme: "ace/theme/tomorrow_night_blue",
            mode: "ace/mode/html",
            autoScrollEditorIntoView: true,
            maxLines: 30,
            minLines: 2
        });
    
        var editor = ace.edit("editor3");
        editor.setOptions({
            autoScrollEditorIntoView: true,
            maxLines: 8
        });
        editor.renderer.setScrollMargin(10, 10, 10, 10);
        
        var editor = ace.edit("editor");
        editor.setTheme("ace/theme/tomorrow");
        editor.session.setMode("ace/mode/html");
        editor.setAutoScrollEditorIntoView(true);
        editor.setOption("maxLines", 100);
    </script>
    
    <script src="./show_own_source.js"></script>
    
    </body>
    </html>