Skip to content

I20190923-1800

I20190923-1800: Bug 550911 - Use same spacing in dark theme as in the light theme
@vogella vogella tagged this 23 Sep 18:58 
Includes 4.14 version update for org.eclipse.ui.themes

Change-Id: I1328cbe9c2b960ed19ad038289112ab1ad761f4b
Signed-off-by: Lars Vogel <Lars.Vogel@vogella.com>
Assets 2
Loading