Commit 04f7520

committed

Fix issue-129: improve how agda buffer appear

1 parent e356a41 commit 04f7520Copy full SHA for 04f7520

4 files changed

+852

-1994

lines changed

lib/js/src/View
- WebviewPanel.bs.js
package-lock.json
package.json
src/View
- WebviewPanel.res

4 files changed

+852

-1994

lines changed

`‎lib/js/src/View/WebviewPanel.bs.js‎`

Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

Comments

(0)