Gecko:Image Snapping and Rendering: Difference between revisions

Gecko:Image Snapping and Rendering (view source)

216 bytes added , 13 November 2008

1,295

edits

Revision as of 23:48, 13 November 2008 (view source) Roc (talk \| contribs) (→‎Requirement 8) ← Older edit		Revision as of 23:57, 13 November 2008 (view source) Roc (talk \| contribs) (→‎Requirement 8) Newer edit →
Line 70:		Line 70:

	Let C = P' - (D1 + P/S). Then -0.5 < C <= 0.5.		Let C = P' - (D1 + P/S). Then -0.5 < C <= 0.5.

			Since F1' < F2' and they're both integers, we must have F2' - 0.5 > F1 (otherwise F1 would have rounded up to F2'). Therefore F2' - C > F1. Therefore S.(F2' - C - D1) > S.(F1 - D1). Therefore S.(F2' - C - D1) > I1.