a2046669f4
In a couple of places, call menu_popdown instead of duplicating its contents. I'm fairly sure that executing the is_active bit that the duplications omitted is safe. Several minor formatting bits are mixed in.
42 KiB
42 KiB