Description Lars Vogel 2010-06-30 10:09:34 EDT

I'm not sure if this is a real bug or an error I'm doing. 

I want to update the model via code and the change should be applied immediately. I use display.readAndDispatch() for this.

I believe the following two version are the same but the first version runs much, much faster. Perhaps this is a performance bug?


---------Slow------------------
int initialHeight = window.getHeight();
int initialWidth = window.getWidth();

for (int i = initialHeight; i >= untilValue; i--) {
	while (display.readAndDispatch())
				;
	window.setHeight(i);
	wait10();

}
--------------------------------

-------Fast---------------------
int initialHeight = window.getHeight();
int initialWidth = window.getWidth();
		
for (int i = initialHeight; i >= untilValue; i--) {
	while (!display.readAndDispatch()){
		window.setHeight(i);
		wait10();
	}
			
}
--------------------------------

I would assume that both ways should result in the same performance. Please correct me if I'm wrong.