diff --git a/ivette/src/dome/main/dome.ts b/ivette/src/dome/main/dome.ts
index 27477c686a99da34f088f407b64140e008adda0d..4bf31f95ae2bc4824923d743232359e554926676 100644
--- a/ivette/src/dome/main/dome.ts
+++ b/ivette/src/dome/main/dome.ts
@@ -224,7 +224,7 @@ function windowSyncSettings(event: IpcMainEvent): void {
 
 ipcMain.on('dome.ipc.settings.sync', windowSyncSettings);
 
-function applyThemeSettings(settings: Store) {
+function applyThemeSettings(settings: Store): void {
   const theme = settings['dome-color-theme'];
   if (typeof (theme) === 'string') setNativeTheme(theme);
 }
diff --git a/ivette/src/frama-c/kernel/ASTview.tsx b/ivette/src/frama-c/kernel/ASTview.tsx
index 69f38d5ca7f5c5b0da517a438fd120f20d75b90b..9a5031927845f416a7a8890e5ef9ac1a423b5860 100644
--- a/ivette/src/frama-c/kernel/ASTview.tsx
+++ b/ivette/src/frama-c/kernel/ASTview.tsx
@@ -31,17 +31,16 @@ import * as States from 'frama-c/states';
 import * as RichText from 'frama-c/richtext';
 
 import * as Dome from 'dome';
+import * as Settings from 'dome/data/settings';
 import type { key } from 'dome/data/json';
 import { RichTextBuffer } from 'dome/text/buffers';
 import { Text } from 'dome/text/editors';
 
-import { TitleBar } from 'ivette';
 import * as Preferences from 'ivette/prefs';
 
 import * as Server from 'frama-c/server';
 import * as States from 'frama-c/states';
 import * as Utils from 'frama-c/utils';
-
 import * as Ast from 'frama-c/kernel/api/ast';
 import * as Properties from 'frama-c/kernel/api/properties';
 import { getCallers, getDeadCode } from 'frama-c/plugins/eva/api/general';
diff --git a/ivette/src/renderer/Preferences.tsx b/ivette/src/renderer/Preferences.tsx
index 9ffdfa9537a6e3c4795206a2d9405f2618fad902..e587512dfc0ba04bbeeab9c2805ad0be3b27254d 100644
--- a/ivette/src/renderer/Preferences.tsx
+++ b/ivette/src/renderer/Preferences.tsx
@@ -67,7 +67,7 @@ function ThemeFields(): JSX.Element {
 // --- Editor Fields
 // --------------------------------------------------------------------------
 
-function EditorFields() {
+function EditorFields(): JSX.Element {
   const fontsize = Forms.useValid(
     Settings.useGlobalSettings(IvettePrefs.EditorFontSize)
   );
@@ -100,7 +100,10 @@ function EditorFields() {
 // --------------------------------------------------------------------------
 // --- Console Scrollback Forms
 // --------------------------------------------------------------------------
-function ConsoleScrollbackFields(props: IvettePrefs.ConsoleScrollbackProps) {
+
+function ConsoleScrollbackFields(
+  props: IvettePrefs.ConsoleScrollbackProps
+): JSX.Element {
   const scrollback = Forms.useDefined(Forms.useValid(
     Settings.useGlobalSettings(props.scrollback),
   ));