diff options
author | Mickael Istria | 2016-10-13 07:48:59 +0000 |
---|---|---|
committer | Mickael Istria | 2016-10-13 17:20:39 +0000 |
commit | aa914d41a7dc9eda9677687190f78ac64bacf9be (patch) | |
tree | 753c1f42775473cfb99a07a1539195ca33e79313 /org.eclipse.core.filebuffers.tests/src | |
parent | 1a9d72873c8c8c2b74bc39442a3a66dc786a9cf2 (diff) | |
download | eclipse.platform.text-aa914d41a7dc9eda9677687190f78ac64bacf9be.tar.gz eclipse.platform.text-aa914d41a7dc9eda9677687190f78ac64bacf9be.tar.xz eclipse.platform.text-aa914d41a7dc9eda9677687190f78ac64bacf9be.zip |
Bug 492202 - Zoom In/Out on block selection
Making default block font default to the regular text font reduces the
probability for non-operational zoom commands to happen (as long as user
doesn't override the Block Selection font, both are in sync and zoom
works with block selection).
Change-Id: Ic3bbb7a9fcd2798c459222b0f15bf672a9710e6f
Signed-off-by: Mickael Istria <mistria@redhat.com>
Diffstat (limited to 'org.eclipse.core.filebuffers.tests/src')
0 files changed, 0 insertions, 0 deletions