yes, but I added a last minute modification (restoring old colors, but keeping the rest of the changes). almost everyone asked for it in private, so since I found some time, I did it.
Esteban On 29 Apr 2014, at 12:16, Sven Van Caekenberghe <[email protected]> wrote: > I don't understand, this is old, no ? > > On 29 Apr 2014, at 12:03, GitHub <[email protected]> wrote: > >> Log Message: >> ----------- >> 30841 >> 13136 Pharo3Theme scrollbars looking like dead without visual indicators >> https://pharo.fogbugz.com/f/cases/13136 > >
