Eikon #1 How is changing font size with the scroll wheel a bug? You can do this in lots of other applications like IE, or Firefox for example.