| <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 }} {{ needsRerunStyle }}"> |
| <div class="rerunning-pane"> |
| <h1>Rerunning...</h1> |
| </div> |
| <div class="popup-pane"> |
| <div class="close button">X</div> |
| <h2></h2><!-- header placeholder element --> |
| <p></p><!-- subheader placeholder element --> |
| <pre></pre><!-- preformated content placeholder element --> |
| <a class="button bottom" target="_blank">File on GitHub</a><!-- post to github placeholder element --> |
| </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">✎ Apply Migration</button> |
| <button class="apply-migration" disabled>✎ Apply Migration</button> |
| <button class="rerun-migration before-apply"> |
| <span class="optional">↻ Rerun From Sources</span> |
| <span class="required"> |
| <span class="icon" |
| title="Disk contents have changed. Rerun to get an up-to-date migration.">!</span> |
| Rerun With Changes |
| </span> |
| </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://goo.gle/dart-null-safety-migration-tool">Null safety |
| migration help</a> |
| <span class="wide"> </span> |
| <div>Based on {{ sdkVersion }}</div> |
| <button class="report-problem">Report a Problem</button> |
| </footer> |
| </body> |
| </html> |
