PR# 18600 Unable to remove focus dots that are spoiling button graphic

Problem Report Summary
Submitter: finnianr
Category: EiffelVision
Priority: Low
Date: 2013/05/29
Class: Bug
Severity: Non-critical
Number: 18600
Release: 7.2.9.1351
Confidential: No
Status: Open
Responsible: misterieking
Environment: Windows 7, SDK 7.1
Synopsis: Unable to remove focus dots that are spoiling button graphic

Description
This is a problem with the Windows implementation. I have a small button graphic to represent node expansion on a help contents tree. The graphic looks fine until I click on the button. Then I get some focus dots that spoil the appearance and I can't find a way to stop them. I would expect that if I set the focus to the parent container (or higher parent) then the focus dots would disappear but they don't.

I don't mind too much if it's only one button, but even if I click on another button they still remain. As you expand each node all the graphics become spoiled.

See attached image and source code
To Reproduce

										

									

								

							

						

					

				

			

		

	









	

		

			
Problem Report Interactions

			

				

					
					

						

							
							

								

									
									
										

											

									
											From:finnianr   
											Date:2013/05/29   
											
											Download   
										

										

                                            
											
										 	
Attachments for problem report #18600

											
											
											

											
											

												

													

														

															Attachment:
															Content-extract.png    
															Size:3174
														

													

												

											

											
											

												

													

														

															Attachment:
															el_contents_node_button.e    
															Size:1592