Changes

Summary

  1. Fixes #2141 (details)
The file was modifiedsrc/GT-Spotter-UI/GTSpotterWidgetDarkThemer.class.st (diff)