PR# 11187 Main Menu is always coloured as if selected

Problem Report Summary
Submitter: peter_gummer
Category: EiffelStudio
Priority: Low
Date: 2006/09/05
Class: Bug
Severity: Non-critical
Number: 11187
Release: 5.7.63005
Confidential: No
Status: Analyzed
Responsible: manus_eiffel
Environment: Mozilla/5.0 (Windows; U; Windows NT 5.1; en-US; rv:1.8.0.6) Gecko/20060728 Firefox/1.5.0.6
Synopsis: Main Menu is always coloured as if selected

Description
In Windows, the colour of the EiffelStudio main menu items is paler than the grey of the surrounding menu bar, tool bar, etc.

Other applications don't look like this, so I suppose it must be a bug.
To Reproduce

										

									

								

							

						

					

				

			

		

	









	

		

			
Problem Report Interactions

			

				

					
					

						

							
							

								

									
									
										

											

									
											From:peter_gummer   
											Date:2006/09/08   
											
											Download   
										

										

                                            
											
										 	
Attached is the theme file that I'm currently using.

											
											
											

											
											

												

													

														

															Attachment:
															Peter1.Theme    
															Size:5677
														

													

												

											

											
										

									

								

							

							
							

								

									
									
										

											

									
											From:manus_eiffel   
											Date:2006/09/07   
											
											Download   
										

										

                                            
											
										 	
If you have time, can you list all the theme modification you have done so that we can reproduce the problem. In the past, a reboot was enough for me to get rid of this appearance, so additional information would help.

											
											
											

											
										

									

								

							

							
							

								

									
									
										

											

									
											From:peter_gummer   
											Date:2006/09/07   
											
											Download   
										

										

                                            
											
										 	
I've rebooted my computer and the same problem exists, both in 5.6 and 5.7.

But it's no big deal, in my opinion. I don't find it ugly or annoying, just a bit odd.

											
											
											

											
										

									

								

							

							
							

								

									
									
										

											

									
											From:peter_gummer   
											Date:2006/09/06   
											
											Download   
										

										

                                            
											
										 	
I have the Windows XP theme, slightly modified.

I did modify the colours temporarily, to see how something would look, a few days ago, and then I reset them. I haven't rebooted since then.

You're probably right that modifying the theme is what caused it. I was surprised when I noticed this yesterday, not so much that it was happening, but more that I hadn't noticed it before.

I'll let you know what it looks like after I've rebooted.

											
											
											

											
										

									

								

							

							
							

								

									
									
										

											

									
											From:manus_eiffel   
											Date:2006/09/05   
																							Status: Analyzed   
											
											Download   
										

										

                                            
											
										 	
Yes and no. We know about this issue but it looks like Windows is returning the wrong color for the menu. It happens usually when changing/modifying the Windows style (XP or classic). After a reboot it is sometime ok. Can you tell us what kind of setting do you have on your style?

I know other non-Microsoft applications that suffers from the same problem.