else { viewer.setTopIndex(topIndex); viewer.getTextWidget().setCaretOffset(caret); }
			public void update(BoundedList list)			{				final BoundedList flist = list;								display.asyncExec(new Runnable() {					public void run()					{						int topIndex = viewer.getTopIndex();						int caret = viewer.getTextWidget().getCaretOffset();                        						entry.viewer.getTextWidget().append(flist.getFormattedText());								if (entry.scroll) {							// Scroll to the bottom							viewer.setTopIndex(newDoc.getNumberOfLines());						}						else {							viewer.setTopIndex(topIndex);							viewer.getTextWidget().setCaretOffset(caret);							}					}				});			}