Changing the font size should definitely be more flexible and easier to apply. Going to options and setting font adaptation is not really a straightforward solution. Adding few icons to increase or decrease font sizes instantly should be fairly easy to do, and it would help all those four eyes people (such as myself). What I also mean by flexibility is a quick way to modify size of target text in the translation results window without modifying the size of the source text etc.