Show tooltip when hovering over jump to diagnostic icon

2022-06-01 09:55:45 +02:00
parent 982de971fa
commit b3242417b3
4 changed files with 41 additions and 0 deletions
@@ -31,6 +31,7 @@ pub struct Theme {
    pub project_diagnostics: ProjectDiagnostics,
    pub breadcrumbs: ContainedText,
    pub contact_notification: ContactNotification,
+    pub tooltip: ContainedText,
 }

 #[derive(Deserialize, Default)]