Bug 396949 - Pinch to change font size in editor
Summary: Pinch to change font size in editor
Status: RESOLVED FIXED
Alias: None
Product: Platform
Classification: Eclipse Project
Component: Text (show other bugs)
Version: 4.3   Edit
Hardware: PC Windows 8
: P3 enhancement (vote)
Target Milestone: 4.6 M4   Edit
Assignee: Markus Keller CLA
QA Contact:
URL:
Whiteboard:
Keywords:
Depends on: 279884
Blocks:
  Show dependency tree
 
Reported: 2012-12-19 13:41 EST by John Arthorne CLA
Modified: 2015-11-18 13:51 EST (History)
3 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 John Arthorne CLA 2012-12-19 13:41:34 EST 
Many reader apps on touch devices (like kindle app) support using a pinch gesture to change font size. It doesn't zoom the page, it just increments or decrements the font size in one point increments. This is very handy for reading and might be a neat feature to add to Eclipse editors as we get more and more touch-enabled devices. SWT already has the touch API it would just be a matter of listening for the right events and adjusting the preference.
Comment 1 John Arthorne CLA 2012-12-19 13:42:06 EST 
CC Bog who may be able to point at particular API or examples.
Comment 2 Dani Megert CLA 2012-12-20 05:00:36 EST 
See also bug 84776.
Comment 3 Eclipse Genie CLA 2015-11-12 14:18:30 EST 
New Gerrit change created: https://git.eclipse.org/r/60263
Comment 4 Markus Keller CLA 2015-11-12 14:25:18 EST 
I don't think zoom gestures should modify the font preference. It's too easy to change your font accidentally.

This patch only changes the font size in the current editor. While pinching, the original and new font sizes are shown in the status bar (replace the caret position). Rotating in by 45˚ or more resets the font to the default.
Comment 6 Markus Keller CLA 2015-11-18 13:51:25 EST 
.