let meb_msc_label = (Menubutton.create ~text:" MSC " ~font:"guifont" bar : Widget.menubutton Widget.widget)