some more modifications to make the new color scheme work as well as possible#
[themes.git] / EarlyBlue / inspector / titledsplitter-close.gif
CommitLineData
322edebd 1