(str)
| 1719 | /************************* mar_set_menu_title *******************************/ |
| 1720 | |
| 1721 | void |
| 1722 | mar_set_menu_title(str) |
| 1723 | const char *str; |
| 1724 | { |
| 1725 | test_free(Menu_title); /* just in case */ |
| 1726 | Menu_title = mar_copy_of(str ? str : nullstr); |
| 1727 | } |
| 1728 | |
| 1729 | /************************* mar_set_menu_type *******************************/ |
| 1730 |