Merge branch 'feature/ivette/fix-typing' into 'master'

[ivette] fix typing

See merge request frama-c/frama-c!3753

Makefile

@@ -2198,7 +2198,7 @@ isutf8-clean:
 clean:: isutf8-clean
 
 BINARY_DISTRIB_FILES := \
-  $(sort $(wildcard ivette/src/dome/doc/template/static/fonts/*)) \
+  $(sort $(wildcard ivette/ivette.icns ivette/src/dome/doc/template/static/fonts/*)) \
   $(sort $(wildcard share/*.ico share/*.png share/theme/*/*.png)) \
 
 FILES_WITHOUT_NEWLINE := \

ivette/Makefile.distrib

@@ -14,7 +14,9 @@ DISTRIB_FILES += ivette/distrib.sh
 DISTRIB_FILES += ivette/doc/pandoc/href.lua
 DISTRIB_FILES += ivette/doc/pandoc/index.json
 DISTRIB_FILES += ivette/doc/pandoc/template.html
+DISTRIB_FILES += ivette/electron-builder.json
 DISTRIB_FILES += ivette/electron-webpack.json
+DISTRIB_FILES += ivette/ivette-macos.sh
 DISTRIB_FILES += ivette/package.json
 DISTRIB_FILES += ivette/src/dome/.gitignore
 DISTRIB_FILES += ivette/src/dome/CONTRIBUTING.md

ivette/distrib.sh

@@ -21,7 +21,7 @@ Distribute() {
     for f in $(git -C $repo ls-files .)
     do
         case $f in
-            Makefile.distrib | headers/* )
+            Makefile.distrib | headers/* | ivette.icns )
             ;;
             *)
                 echo "DISTRIB_FILES += $src/$f" >> $Distrib

ivette/headers/header_spec.txt

@@ -13,7 +13,9 @@ distrib.sh: .ignore
 doc/pandoc/href.lua: .ignore
 doc/pandoc/index.json: .ignore
 doc/pandoc/template.html: .ignore
+electron-builder.json: .ignore
 electron-webpack.json: .ignore
+ivette-macos.sh: .ignore
 package.json: .ignore
 src/dome/.gitignore: .ignore
 src/dome/CONTRIBUTING.md: .ignore

ivette/src/dome/renderer/dome.tsx

@@ -181,7 +181,7 @@ export function useEmitter(
   emitter: undefined | null | Emitter,
   event: undefined | null | string,
   callback: () => void,
-) {
+): void {
   return React.useEffect((): (undefined | (() => void)) => {
     if (emitter && event) {
       emitter.on(event, callback);