diff options
author | Markus Keller | 2015-11-12 19:10:27 +0000 |
---|---|---|
committer | Markus Keller | 2015-11-18 18:42:05 +0000 |
commit | a56140d40f573ac7967c3e16425dc7a30d49b546 (patch) | |
tree | ee8ec92328a2c2c5dee503e731037c94497d9434 /org.eclipse.ui.editors | |
parent | 6f1ed70f6ffa1db02ab73e9bc2c1c071f2c549ac (diff) | |
download | eclipse.platform.text-a56140d40f573ac7967c3e16425dc7a30d49b546.tar.gz eclipse.platform.text-a56140d40f573ac7967c3e16425dc7a30d49b546.tar.xz eclipse.platform.text-a56140d40f573ac7967c3e16425dc7a30d49b546.zip |
Bug 396949: Pinch to change font size in editor
Change-Id: I7b996bef9f4e9425220563ecac9cd86d3243fd28
Diffstat (limited to 'org.eclipse.ui.editors')
0 files changed, 0 insertions, 0 deletions