diff -r 0358f1d9c506 -r 2cb06c231057 ui/common/objs.mk --- a/ui/common/objs.mk Mon May 22 16:17:26 2023 +0200 +++ b/ui/common/objs.mk Mon May 22 19:44:27 2023 +0200 @@ -33,6 +33,7 @@ COMMON_OBJ += document.o COMMON_OBJ += object.o COMMON_OBJ += types.o +COMMON_OBJ += menu.o COMMON_OBJ += properties.o COMMON_OBJ += ucx_properties.o