Community
Participate
Working Groups
As in subject, just open this view in dark theme. These light borders are unnecessary.
Dawid, could you provide a Gerrit.
Calling setBackground(Color) in CommonFiltersTab#createControl would do the job, but I couldn't figure out which color should be used. I used: PlatformUI.getWorkbench().getThemeManager().getCurrentTheme().getColorRegistry().get(someString) to obtain some colors, but none of them really suited all cases. e.g. "org.eclipse.ui.workbench.INFORMATION_BACKGROUND" was fine with the dark-theme but was completely wrong with the light-theme. So 2 Questions: Is it a good idea to set the background color in the CommonFilterTab? If yes, which Color constant would be correct?
Looks fine on 2019-12. Marking as resolved.