Michael Webster b193600595 Don't use set_markup when it's not necessary, use set_text		2013-03-18 18:50:56 -04:00
..
mintMenu	Don't use set_markup when it's not necessary, use set_text	2013-03-18 18:50:56 -04:00