The first one sounds good. It's faster than (2), and unlike (2) it's not a kludge or workaround. It does exactly what it's intended to - redraw the menu-bar.