| <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 class="{{ migrationAppliedStyle }}"> | |
| <div class="rerunning-pane"> | |
| <h1>Rerunning...</h1> | |
| </div> | |
| <p class="root">{{ root }}</p> | |
| <header class="elevation-z4"> | |
| <h1 class="before-apply">Proposed null safety changes</h1> | |
| <h1 class="after-apply">✓ Null safety migration applied</h1> | |
| <h2 id="unit-name"> </h2> | |
| <button class="apply-migration before-apply">✎ Apply Migration</button> | |
| <button class="apply-migration after-apply" disabled>✎ Apply Migration</button> | |
| <button class="rerun-migration before-apply">↻ Rerun From Sources</button> | |
| </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="regions"> | |
| <!-- The regions overlay code copy of the content to provide --> | |
| <!-- tooltips for modified regions. --> | |
| </div><!-- /regions --> | |
| <div class="code"> | |
| <!-- Compilation unit content is written here. --> | |
| <p class="welcome"> | |
| Select a source file on the left to preview the proposed edits. | |
| </p> | |
| </div> | |
| </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 class="placeholder">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/nnbd_migration/README.md">Null | |
| safety migration help</a> | |
| <span class="wide"> </span> | |
| <div>Based on {{ sdkVersion }}</div> | |
| </footer> | |
| </body> | |
| </html> |