PR# 11970 Please add a tooltip to the Editor's class name tab

Problem Report Summary
Submitter: peter_gummer
Category: EiffelStudio
Priority: Low
Date: 2007/02/03
Class: Feature Request
Severity: Non-critical
Number: 11970
Release: 6.0.6.6309
Confidential: No
Status: Closed
Responsible:
Environment: Mozilla/5.0 (Windows; U; Windows NT 5.1; en-US; rv:1.8.1.1) Gecko/20061204 Firefox/2.0.0.1
Synopsis: Please add a tooltip to the Editor's class name tab

Description
It's great having tabbed editing at last!

From time to time, I want to know the location of the current class. This is given by the title bar, but I have decided to place the Address toolbar on top of that part of the title bar, in order to maximise the screen space available to me for editing. The class location is therefore hidden.

Another way to find the class's location is by clicking the button in the Clusters tool.

But it would be nice if I could simply hover the mouse over the Editor's class name tab, to see a tooltip containing this information.
To Reproduce

										

									

								

							

						

					

				

			

		

	









	

		

			
Problem Report Interactions

			

				

					
					

						

							
							

								

									
									
										

											

									
											From:larryl   
											Date:2007/03/12   
																							Status: Closed   
											
											Download   
										

										

                                            
											
										 	
At revision#67232, use class file address as editor tab tooltip feature is implemented.

Thanks for your report.