ID	Priority	Status	gui bugs	Date
168	3	OPEN	(displaysource '"video.vhd") in create_css_html_sourcebox is a problem	08-14-2016
178	3	OPEN	min/restore window in x11 doesn't redraw everything	01-30-2017