Matthias Becker

What about bringing #000000 back for the selected tabs and maybe have #3b3b3b for the unselected tabs? What do you think?

> > What about bringing #000000 back for the selected tabs and maybe have #3b3b3b for the unselected tabs? What do you think? > > Both in view and editor...

This is addressed it in: https://github.com/eclipse-platform/eclipse.platform.ui/pull/2294

I think this is fixed (see above). Pls. reopen if you disagree.

> Doesn't work so well when one uses a code format where opening braces of a block begin on a new line:  For such formats the previous line should...

> Implementing fix for gutter line background change in dark theme for Win and Mac. Ref 4th issue reported in [#2114 (comment)](https://github.com/eclipse-platform/eclipse.platform.ui/issues/2114#issue-2418424128) > >  > >  > I...

ok now I get it. Can you pls. also explain what exactly you did change in the CSS spy? For me that's not so clear from your screenshot.

> > Can you pls. also explain what exactly you did change in the CSS spy? For me that's not so clear from your screenshot. > > Changed the background...

This is replaced by https://github.com/eclipse-platform/eclipse.platform.ui/pull/2744/

> * and place the icon within a "theme" directory, with the same file path as the original icon So this implies only icons that originally come from a file...