id	Summary	Status	Keywords	Owner	Type	Priority
933	IconManager	accepted	GUI, icon, image	Jorge	task	high
955	GuiTools: Icons in contextual submenus are drawn badly	new	GuiTools	Jorge	defect	high