PR# 12888 Editors do not repaint when debugger starts

Problem Report Summary
Submitter: peter_gummer
Category: EiffelStudio
Priority: Medium
Date: 2007/05/28
Class: Bug
Severity: Non-critical
Number: 12888
Release: 6.0.6.8703
Confidential: No
Status: Closed
Responsible:
Environment: Mozilla/5.0 (Windows; U; Windows NT 5.1; en-US; rv:1.8.1.3) Gecko/20070309 Firefox/2.0.0.3
Synopsis: Editors do not repaint when debugger starts

Description
I've noticed this problem in the last few releases.

When I hit F5 to start debugging, it switches to the debugging layout. In my layout, the editor tabs are still visible, with the editors occupying the whole height of the right side of the window (except for the menu bar, tool bar and status bar, of course).

The tabs are visible, but the whole area below is grey.

When I click on a tab, however, the editor contents are displayed correctly.
To Reproduce

										

									

								

							

						

					

				

			

		

	









	

		

			
Problem Report Interactions

			

				

					
					

						

							
							

								

									
									
										

											

									
											From:peter_gummer   
											Date:2007/06/11   
																							Status: Closed   
											
											Download   
										

										

                                            
											
										 	
This is fixed in 6.0.6.8996.