Now that we can zoom in the editor (great!), it would also be very useful to be able to pan -- which is especially useful when you have zoomed to a large font size.
Could you please describe the requested feature in more detail? Thanks.
OK. Right now, in 7.1, I can hold down the mousewheel (on my system, no mousewheel, so Ctrl + move up/down on pad) and then the font zooms in and out if I move up/down.
Now, what would be nice, if I hold down Ctrl + move left/right on pad (i.e., hold down mousewheel and move left/right), the editor content should move left and right -- in the same way as if I was moving the scrollbar at the bottom of the editor left and right.
Then the mouse would be used completely, i.e., up/down means scroll up/down, mousewheel left/right would mean scroll left/right, and mousewheel up/down means (from 7.1) font zoom in/out.
Unfortunately JDK does not support horizontal mousewheel scrolling yet - see e.g. http://bugs.sun.com/bugdatabase/view_bug.do?bug_id=6440198
Reassigning to platform/jdk issues.
Please vote for the JDK bug.