Community
Participate
Working Groups
I work on a laptop where occasionally the textsize of a given window in Eclipse is inconveniently big or small. In IE and Firefox I can use Ctrl-Mousewheel to change the text size interactively, and it would be nice if Eclipse could do the same.
Ctrl+MouseWheel now jumps page-wise in text editors (in HEAD).
*** Bug 185667 has been marked as a duplicate of this bug. ***
*** Bug 125404 has been marked as a duplicate of this bug. ***
*** Bug 192391 has been marked as a duplicate of this bug. ***
Bug 297577 is a duplicate of this one. I'll try to come up with a patch for this. IMHO the M1+Mousewheel and M1+NUMPAD_PLUS / M1+NUMPAD_MINUS text size changing is pretty well-known nowadays, especially because of Firefox. Any opinions about if Ctrl+MouseWheel should "scroll faster" or "zoom" by default in Eclipse? IMHO there should be general-purpose "Zoom In" / "Zoom Out" commands in Platform/UI for this that are handled by text editors by changing the font size. I'll investigate existing Zoom commands in existing editors like GEF or BIRT.
*** Bug 297577 has been marked as a duplicate of this bug. ***
>Any opinions >about if Ctrl+MouseWheel should "scroll faster" or "zoom" by default in >Eclipse? Scroll faster (this is already implemented - try it out ;-) >IMHO there should be general-purpose "Zoom In" / "Zoom Out" commands in >Platform/UI for this that are handled by text editors by changing the font >size. Agree. Can you please file a bug report against Platform UI and mark this one depending on your new bug? Thanks.
This was reported 6 years ago, but it appears to not be fixed yet.... anyone able to work on this? I'm working on Eclipse in Mac and this functionality is still missing... there is an independent plugin to add a keyboard shortcut, but even that only seems to be for Windows....
(In reply to comment #8) > This was reported 6 years ago, but it appears to not be fixed yet.... anyone > able to work on this? No, nothing has been done in this area.
*** Bug 369091 has been marked as a duplicate of this bug. ***
Bug 369091 suggests different ways to control the zoom factor: "It could be created by use: - Shift/Ctrl + Scroll_Wheel (example in GIMP); - Scroll Widget (example in LibreOffice); - Some key press (example - Ctrl+Shift+'+' Ctrl+Shift+'-')..."
See also bug 396949.
*** Bug 421929 has been marked as a duplicate of this bug. ***
*** Bug 426328 has been marked as a duplicate of this bug. ***
+100, any update?
Voted! Any chance to get this?
If someone should ever realize a zoom function, please, take care to make the zooming available independently for different Eclipse (Luna) windows. Such that you can zoom in/out in one window with a different factor than in another eclipse window. This would really be helpful for people who work with several screens having different resolutions.
I think it would be best if it's per editor
(In reply to Dani Megert from comment #7) > >Any opinions > >about if Ctrl+MouseWheel should "scroll faster" or "zoom" by default in > >Eclipse? > Scroll faster (this is already implemented - try it out ;-) Would it be possible to use Shift+Scroll as faster scroll (shift usually means bigger in text editors, so Shift+Scroll is a more intuitive shortcut for bigger scroll) ? Then we could allow Ctrl+Scroll for Zoom, as in Firefox. > >IMHO there should be general-purpose "Zoom In" / "Zoom Out" commands in > >Platform/UI for this that are handled by text editors by changing the font > >size. > Agree. Can you please file a bug report against Platform UI and mark this > one depending on your new bug? Thanks. Opened https://bugs.eclipse.org/bugs/show_bug.cgi?id=469918
*** Bug 509110 has been marked as a duplicate of this bug. ***
