w3c / window-management

Window Management API
https://www.w3.org/TR/window-management/
Other
96 stars 25 forks source link

Rename ScreenInfo.primary to ScreenInfo.isPrimary #34

Closed michaelwasserman closed 3 years ago

michaelwasserman commented 3 years ago

Addresses feedback from #32.

I couldn't figure out how to get the isPrimary definition in the

block to link to the <dfn>primary</dfn>. Tips appreciated, but that probably isn't blocking.</p> <!-- This comment and the below content is programatically generated. You may add a comma-separated list of anchors you'd like a direct link to below (e.g. #idl-serializers, #idl-sequence): Don't remove this comment or modify anything below this line. If you don't want a preview generated for this pull request, just replace the whole of this comment's content by "no preview" and remove what's below. --> <hr /> <p><a rel="noreferrer nofollow" target="_blank" href="https://pr-preview.s3.amazonaws.com/webscreens/window-placement/pull/34.html" title="Last updated on Sep 15, 2020, 12:12 AM UTC (6233c70)">Preview</a> | <a rel="noreferrer nofollow" target="_blank" href="https://pr-preview.s3.amazonaws.com/webscreens/window-placement/34/a1e6c7c...6233c70.html" title="Last updated on Sep 15, 2020, 12:12 AM UTC (6233c70)">Diff</a></p> </div> </div> <div class="page-bar-simple"> </div> <div class="footer"> <ul class="body"> <li>© <script> document.write(new Date().getFullYear()) </script> Githubissues.</li> <li>Githubissues is a development platform for aggregating issues.</li> </ul> </div> <script src="https://cdn.jsdelivr.net/npm/jquery@3.5.1/dist/jquery.min.js"></script> <script src="/githubissues/assets/js.js"></script> <script src="/githubissues/assets/markdown.js"></script> <script src="https://cdn.jsdelivr.net/gh/highlightjs/cdn-release@11.4.0/build/highlight.min.js"></script> <script src="https://cdn.jsdelivr.net/gh/highlightjs/cdn-release@11.4.0/build/languages/go.min.js"></script> <script> hljs.highlightAll(); </script> </body> </html>