diff options
author | Dani Megert | 2017-08-24 14:19:08 +0000 |
---|---|---|
committer | Dani Megert | 2017-08-24 14:19:08 +0000 |
commit | 153d18f2ec4f8ffa11eadcd344ab8e0135574abb (patch) | |
tree | 3fe69b1b33717602cbbb7f85a8dc9328a1ca92eb /org.eclipse.ui.genericeditor.tests | |
parent | 285e1cd350eb852ea124518709054e0113ee08da (diff) | |
download | eclipse.platform.text-153d18f2ec4f8ffa11eadcd344ab8e0135574abb.tar.gz eclipse.platform.text-153d18f2ec4f8ffa11eadcd344ab8e0135574abb.tar.xz eclipse.platform.text-153d18f2ec4f8ffa11eadcd344ab8e0135574abb.zip |
Fixed bug 521373: MarginPainter no longer needs to be initialized after font changeI20170830-2000I20170830-0605I20170829-2345I20170829-2000I20170829-0940I20170829-0705I20170828-2000I20170828-1220I20170828-0730I20170827-2000I20170826-1500I20170825-2000I20170824-2000
Diffstat (limited to 'org.eclipse.ui.genericeditor.tests')
0 files changed, 0 insertions, 0 deletions