Quote:
Originally Posted by tuxor
@slex: you are right. For example when using cropped margins - that's internally handled as a kind of zoom mode. It would definitely not be what we want if the change-page-buttons had scrolling functionality in such a scenario.
|
Fair point. We would not want to scroll into the margins in that case, true. But then, as a user, I am not interested how these margins are internally handled. So perhaps we might want different behavior in different zoom modes. Anyway, glad to have the interesting discussions back :-)