Bug 192391 - [misc] increase/decrease font size editor via shortcut key and/or mouse scroll wheel
Summary: [misc] increase/decrease font size editor via shortcut key and/or mouse scrol...
Status: RESOLVED DUPLICATE of bug 476037
Alias: None
Product: Platform
Classification: Eclipse Project
Component: Text (show other bugs)
Version: 3.3   Edit
Hardware: PC Windows 2000
: P3 enhancement (vote)
Target Milestone: ---   Edit
Assignee: Platform-Text-Inbox CLA
QA Contact:
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2007-06-13 05:41 EDT by Pan Feng CLA
Modified: 2015-12-02 08:25 EST (History)
2 users (show)

See Also:

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
Description Pan Feng CLA 2007-06-13 05:41:40 EDT 
Now in Eclipse we can change the font size of JDT in Preferences Dialog. But maybe it is not convenient to the most developer.

  Would you like to add a new feature in Eclipse 3.4 that can increase or decrease font size in Java Editor by using shortcut key, such as Ctrl+.

  The feature just like the Firefox browser, in firefox we can use Ctrl+ to increase the font size of page and use Ctrl- to decrease the font size. Or we may press Ctrl and scroll the mouse wheel to do that. As I know, IDEA also provided the feature.

  BTW, I can not choose 3.4 or future release, so I just choose Eclipse 3.3. Thanks!
Comment 1 Dani Megert CLA 2007-07-23 03:38:14 EDT 
*** Bug 196957 has been marked as a duplicate of this bug. ***
Comment 2 Dani Megert CLA 2008-03-20 06:55:22 EDT 

*** This bug has been marked as a duplicate of bug 84776 ***
Comment 3 Dani Megert CLA 2015-12-02 08:25:07 EST 

*** This bug has been marked as a duplicate of bug 476037 ***