Eiffel Windowing System

Bugs Maximize Restore

# Sort A -> Z Sort Z -> A	Summary▾ Sort A -> Z Sort Z -> A	Milestone▾ Sort A -> Z Sort Z -> A Filter by Milestone	Status▾ Sort A -> Z Sort Z -> A Filter by Status	Owner▾ Sort A -> Z Sort Z -> A Filter by Owner	Created▾ Sort A -> Z Sort Z -> A	Updated▾ Sort A -> Z Sort Z -> A
3	LABEL.set_border_width should be renamed	None	open	Daniel F Moisset	2005-10-31	2005-10-31
2	HORZ_MARQUEE is a bad class name	None	open	Daniel F Moisset	2005-10-31	2005-10-31
1	Eliminate need for -case_insensitive	None	open	Daniel F Moisset	2005-10-24	2005-10-29