From e9f053a78eb67c7759e5f1dee83bda143664eaa3 Mon Sep 17 00:00:00 2001 From: Andrea Alberti Date: Fri, 28 Jun 2024 19:16:05 +0200 Subject: [PATCH] Hide placeholders --- src/main.ts | 2 +- styles/styles.css | 6 ++++++ 2 files changed, 7 insertions(+), 1 deletion(-) diff --git a/src/main.ts b/src/main.ts index 5e575a0..4375cd3 100644 --- a/src/main.ts +++ b/src/main.ts @@ -208,7 +208,7 @@ export default class PluginsAnnotations extends Plugin { } }); } - + debouncedSaveAnnotations() { // timeout after 250 ms const timeout_ms = 250; diff --git a/styles/styles.css b/styles/styles.css index b4200a4..1dcf9f0 100644 --- a/styles/styles.css +++ b/styles/styles.css @@ -9,6 +9,12 @@ .plugin-comment-annotation.plugin-comment-placeholder { color: #CCCCCC; /* Standard placeholder color */ font-style: italic; + display: none; +} + +/* Show placeholder when hovering over the plugin container */ +.setting-item:hover .plugin-comment-placeholder { + display: block; } /* Additional styles for consistency */