Context Navigation

Changes between Initial Version and Version 1 of Ticket #864

initial	v1
7	7	The problem is that the multiplication by 100 is done before the division. The multiplication causes the int value to wrap around to the negative side if the value is bigger than ~20M. The fix is not simply to do the division first. Since it is an integer division it will always yield 0 or 1 as the result. So, we either have to do the multiplication with 'long' values or do the division with 'float' values.
8	8
9		See also #864 for a suggested solution to make the progress reporter more stable.
	9	See also #865 for a suggested solution to make the progress reporter more stable.
10	10
11	11	Note! There is no real harm done in reporting negative values. Everything will still work, though it may look a bit strange to users and also make them unsure if it really is working or if some nasty error has occurred.