--- a/ui/common/objs.mk Thu Jun 05 19:29:04 2025 +0200 +++ b/ui/common/objs.mk Fri Jun 06 12:31:09 2025 +0200 @@ -33,7 +33,6 @@ COMMON_OBJ += document$(OBJ_EXT) COMMON_OBJ += object$(OBJ_EXT) COMMON_OBJ += types$(OBJ_EXT) -COMMON_OBJ += menu$(OBJ_EXT) COMMON_OBJ += properties$(OBJ_EXT) COMMON_OBJ += menu$(OBJ_EXT) COMMON_OBJ += toolbar$(OBJ_EXT)