fix css in infoview

abentkamp · abentkamp · commit fe9ff235455a · 2024-07-30T14:31:34.000+02:00
diff --git a/README.md b/README.md
@@ -100,7 +100,7 @@ export default {
       targets: [
         {
           src: [
-            normalizePath(path.resolve(__dirname, './node_modules/@leanprover/infoview/dist/*.production.min.js')),
+            normalizePath(path.resolve(__dirname, './node_modules/@leanprover/infoview/dist/*')),
             normalizePath(path.resolve(__dirname, './node_modules/lean4monaco/webview/webview.js')),
           ],
           dest: 'infoview'
diff --git a/demo/src/App.css b/demo/src/App.css
@@ -1,8 +1,9 @@
-.codeview, .infoview {
+.codeview, .infoview iframe {
   width: 400px;
   height: 300px;
 }
 
+
 .controls {
   flex: 0 0 100%;
 }
diff --git a/demo/vite.config.ts b/demo/vite.config.ts
@@ -24,7 +24,7 @@ export default defineConfig({
       targets: [
         {
           src: [
-            normalizePath(path.resolve(__dirname, '../node_modules/@leanprover/infoview/dist/*.production.min.js')),
+            normalizePath(path.resolve(__dirname, '../node_modules/@leanprover/infoview/dist/*')),
             normalizePath(path.resolve(__dirname, '../dist/webview/webview.js')),
           ],
           dest: 'infoview'
diff --git a/package-lock.json b/package-lock.json
diff --git a/src/infowebview.ts b/src/infowebview.ts
@@ -114,7 +114,7 @@ export class IFrameInfoWebviewFactory implements InfoWebviewFactory {
                     }
                 </style>
                 <link rel="stylesheet" href="${new URL('./vscode.css', import.meta.url)}">
-                <link rel="stylesheet" href="${new URL('./vscode-lean4/lean4-infoview/src/infoview/index.css', import.meta.url)}">
+                <link rel="stylesheet" href="${new URL('../node_modules/@leanprover/infoview/dist/index.css', import.meta.url)}">
             </head>
             <body>
                 <div id="react_root"></div>

Original file line number	Diff line number	Diff line change
`@@ -100,7 +100,7 @@ export default {`
`100`	`100`	`targets: [`
`101`	`101`	`{`
`102`	`102`	`src: [`
`103`		`- normalizePath(path.resolve(__dirname, './node_modules/@leanprover/infoview/dist/*.production.min.js')),`
	`103`	`+ normalizePath(path.resolve(__dirname, './node_modules/@leanprover/infoview/dist/*')),`
`104`	`104`	`normalizePath(path.resolve(__dirname, './node_modules/lean4monaco/webview/webview.js')),`
`105`	`105`	`],`
`106`	`106`	`dest: 'infoview'`
Original file line number	Diff line number	Diff line change
`@@ -1,8 +1,9 @@`
`1`		`-.codeview, .infoview {`
	`1`	`+.codeview, .infoview iframe {`
`2`	`2`	`width: 400px;`
`3`	`3`	`height: 300px;`
`4`	`4`	`}`
`5`	`5`
	`6`	`+`
`6`	`7`	`.controls {`
`7`	`8`	`flex: 0 0 100%;`
`8`	`9`	`}`
Original file line number	Diff line number	Diff line change
`@@ -24,7 +24,7 @@ export default defineConfig({`
`24`	`24`	`targets: [`
`25`	`25`	`{`
`26`	`26`	`src: [`
`27`		`- normalizePath(path.resolve(__dirname, '../node_modules/@leanprover/infoview/dist/*.production.min.js')),`
	`27`	`+ normalizePath(path.resolve(__dirname, '../node_modules/@leanprover/infoview/dist/*')),`
`28`	`28`	`normalizePath(path.resolve(__dirname, '../dist/webview/webview.js')),`
`29`	`29`	`],`
`30`	`30`	`dest: 'infoview'`
Original file line number	Diff line number	Diff line change
`@@ -114,7 +114,7 @@ export class IFrameInfoWebviewFactory implements InfoWebviewFactory {`
`114`	`114`	`}`
`115`	`115`	`</style>`
`116`	`116`	`<link rel="stylesheet" href="${new URL('./vscode.css', import.meta.url)}">`
`117`		`- <link rel="stylesheet" href="${new URL('./vscode-lean4/lean4-infoview/src/infoview/index.css', import.meta.url)}">`
	`117`	`+ <link rel="stylesheet" href="${new URL('../node_modules/@leanprover/infoview/dist/index.css', import.meta.url)}">`
`118`	`118`	`</head>`
`119`	`119`	`<body>`
`120`	`120`	`<div id="react_root"></div>`