MS Windows Specific Settings

Use TrueType metrics for calculating the width of a text string. This provides for best printing results but comes with a lower quality of texts displayed on the screen.

	

When checked, screen updates are performed during scrolling. Otherwise a screen update is only done once when scrolling is finished. Unchecking this option reduces the CPU resp. GPU load while scrolling.

	
	

	
