Skip to main content
aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorFabio Zadrozny2016-04-03 18:37:39 +0000
committerDani Megert2016-04-25 12:11:09 +0000
commit1cd3bf94801aa5a2c23b161d86866cebd9de529b (patch)
treeaa2c193a531665913070cb54ae76193178c184e0 /org.eclipse.ui.workbench.texteditor/plugin.xml
parentf17b47543969005692dfd543520798bacd8754f5 (diff)
downloadeclipse.platform.text-1cd3bf94801aa5a2c23b161d86866cebd9de529b.tar.gz
eclipse.platform.text-1cd3bf94801aa5a2c23b161d86866cebd9de529b.tar.xz
eclipse.platform.text-1cd3bf94801aa5a2c23b161d86866cebd9de529b.zip
Makes the HeaderPainter invisible if there are no scroll bars. Fixes the computation of positions in the overview ruler. Change-Id: I5900ac1bf9e03069a23c971c1bf82f46ed3650f0 Signed-off-by: Fabio Zadrozny <fabiofz@gmail.com>
Diffstat (limited to 'org.eclipse.ui.workbench.texteditor/plugin.xml')
0 files changed, 0 insertions, 0 deletions

Back to the top