high-dpi support

This commit is contained in:
Scott Hanselman 2018-08-23 15:06:54 -07:00
parent 5be27d7bab
commit 69d8b0d2be
No known key found for this signature in database
GPG key ID: 27A7E711F4FA8209

View file

@ -26,6 +26,10 @@ async function main (id) {
// New v86 instance
window.emulator = new V86Starter(opts)
//high-dpi support
var scale = window.devicePixelRatio;
window.emulator.screen_adapter.set_scale(scale,scale);
// Restore state. We can't do this right away.
setTimeout(async () => {