Description Kent Johnson 2001-10-11 14:18:13 EDT

Make the Navigator view wider... this causes the task list & editor to shrink but the columns in the task
list do not resize to fit its new dimensions.

Its very easy to shrink the task list a little & as a result, no longer see the line numbers.

NOTES:

DG (5/26/00 3:18:29 PM)
This is a consequence of JFace modification of TableViewer where they decided to
stop auto-adjustment of table columns on resize. More information can be obtained
from JFace/SWT teams. I remember something about 'recursive death' on table
resize.

Bottom line: auto-resize must be part of TableViewer. Task list should not
implement it.

	SS (5/29/00 11:34:02 AM)
Moving to JFUIF

DB (5/30/00 9:37:21 AM)
	We had an implementation in JFace for this. Due to some problems with native widgets
	under Windows we had to remove the code. The related SWT PRs are:

	1FT1OI7: SWT:WINNT - Strange TableEditor behavior 
	1FT1A65: SWT:Linux - Need API to disable table's resize behavior when resizing table column 

	Moving to SWT. PR can not be fixed by JFace unless SWT fixes the above PRs.

SN (5/30/00 10:02:41 AM)
	Thanks.  It's not a problem in the native widgets.  When you resize the columns
	in a table, the table can resize in order to hide and show scroll bars.  This correctly
	causes a recursive resize callback and application code needs to handle this case,
	otherwise the application can cause recursive resize death.

DB (5/30/00 5:51:13 PM)
	We handled the recursive resize death problem properly in JFace. The problem I am taking about
	was the flickering. The was caused because:

	- the table widget shows scroll bars when the user shrinks the table.
	- after that (now the scroll bars are visible) the widget generates a resize event.
	- JFace reacts on the resize event by making some columns smaller. Now the scroll bars disappear again which causes
	  flickering.
	- Furthermore we tried to define a minimum width for a table column which also introduces a lot of flickering since
	  the native widget doesn't support a minimun width for a column. As a result the column first shrinks and on the resize
	  event JFace resizes the column to the minimum width.

	What I have asked for in the PRs was a possibility to suppress the table's resize behaviour. So instead of showing scroll
	bars the table should simply clip the right most / left most column. 

SN (5/30/00 1:34:43 PM)
	I would suggest creating the table without scroll bars but this is not currently supported by Microsoft.
	The table flickers because you ask it to do things that cause redraws.  Did you try using setRedraw ()
	to collapse all of the redraws into one?  Wish I could help more.

	McQ (2/1/01 5:50:32 PM) -
		Our hands are tied. Could only be fixed using a custom widget.