Hide placeholders

This commit is contained in:
Andrea Alberti 2024-06-28 19:16:05 +02:00
parent 812397b57c
commit e9f053a78e
2 changed files with 7 additions and 1 deletions

View file

@ -208,7 +208,7 @@ export default class PluginsAnnotations extends Plugin {
}
});
}
debouncedSaveAnnotations() {
// timeout after 250 ms
const timeout_ms = 250;

View file

@ -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 */