Michael Webster fcbbbccb1f But make sure to initialize the panel and panel_position properties ... immediately		2013-03-09 11:50:43 -05:00
..
mintMenu	But make sure to initialize the panel and panel_position properties	2013-03-09 11:50:43 -05:00