in demo, let ImGui handle pixel ratio

Author: flyover

build/bind-imgui.js

@@ -47,9 +47,8 @@ function document_on_paste(event: ClipboardEvent): void {
 
 function window_on_resize(): void {
     if (canvas !== null) {
-        const devicePixelRatio: number = window.devicePixelRatio || 1;
-        canvas.width = Math.floor(canvas.scrollWidth * devicePixelRatio);
-        canvas.height = Math.floor(canvas.scrollHeight * devicePixelRatio);
+        canvas.width = canvas.scrollWidth;
+        canvas.height = canvas.scrollHeight;
     }
 }