--- a/ui/common/menu.h Sun Dec 22 11:49:59 2024 +0100 +++ b/ui/common/menu.h Mon Dec 30 12:50:52 2024 +0100 @@ -114,6 +114,7 @@ ui_callback callback; void *userdata; char *varname; + UiBool addseparator; };