| <html> |
| <head> |
| <title>Null Safety Preview</title> |
| <script src="{{ highlightJsPath }}"></script> |
| <script>{{ dartPageScript }}</script> |
| <link rel="stylesheet" href="https://fonts.googleapis.com/css?family=Open+Sans:400,600&display=swap"> |
| <link rel="stylesheet" href="{{ highlightStylePath }}"> |
| <style>{{ dartPageStyle }}</style> |
| </head> |
| <body> |
| <p class="root">{{ root }}</p> |
| <header class="elevation-z4"> |
| <h1>Proposed null safety changes</h1> |
| <h2 id="unit-name"> </h2> |
| </header> |
| <div class="panels horizontal"> |
| <div class="nav-panel"> |
| <div class="nav-inner"> |
| <div class="panel-heading">Project Files</div> |
| <div class="nav-tree"></div> |
| </div><!-- /nav-inner --> |
| </div><!-- /nav --> |
| <div class="content"> |
| <div class="code"> |
| <!-- Compilation unit content is written here. --> |
| <p class="welcome"> |
| <!-- TODO(srawlins): More welcome text! --> |
| Select a source file on the left to preview the edits. |
| </p> |
| </div> |
| <div class="regions"> |
| <!-- The regions are then written again, overlaying the first copy of --> |
| <!-- the content, to provide tooltips for modified regions. --> |
| </div><!-- /regions --> |
| </div><!-- /content --> |
| <div class="info-panel"> |
| <div class="edit-list"> |
| <div class="panel-heading">Proposed Edits</div> |
| <div class="panel-content"></div> |
| </div><!-- /edit-list --> |
| <div class="edit-panel"> |
| <div class="panel-heading">Edit Details</div> |
| <div class="panel-content"> |
| <p>See details about a proposed edit.</p> |
| </div><!-- /panel-content --> |
| </div><!-- /edit-panel --> |
| </div><!-- /info-panel --> |
| </div><!-- /panels --> |
| <footer> |
| <a target="_blank" |
| href="https://github.com/dart-lang/sdk/blob/master/pkg/analysis_server/lib/src/edit/nnbd_migration/README.md">Null |
| safety migration help</a> |
| <span class="wide"> </span> |
| <div>Based on {{ sdkVersion }}</div> |
| </footer> |
| </body> |
| </html> |