[ivette/types] rebased on master

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);
 }

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';

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),
   ));