Fix issue-129: improve how agda buffer appear

banacorn · Aug 14, 2023 · 15a25e5 · 15a25e5
1 parent e356a41
commit 15a25e5
Show file tree

Hide file tree

Showing 4 changed files with 852 additions and 1,994 deletions.
diff --git a/lib/js/src/View/WebviewPanel.bs.js b/lib/js/src/View/WebviewPanel.bs.js