From 38eb8d8c111749db063bda46328aeb8c17e891bd Mon Sep 17 00:00:00 2001 From: Anthony Donlon Date: Mon, 22 Dec 2025 02:13:29 +0800 Subject: [PATCH] editor/web: add popovers for "Copy" buttons --- editor/web/index.html | 19 ++++++++++++++----- editor/web/src/index.js | 15 ++++++++++++--- 2 files changed, 26 insertions(+), 8 deletions(-) diff --git a/editor/web/index.html b/editor/web/index.html index e981256..5d1e72b 100644 --- a/editor/web/index.html +++ b/editor/web/index.html @@ -143,6 +143,11 @@ min-height: 80px; resize: vertical; } + + .popover { + --bs-popover-body-padding-x: 0.7rem !important; + --bs-popover-body-padding-y: 0.5rem !important; + } @@ -407,7 +412,8 @@
- +
@@ -439,7 +445,7 @@