Closed AlexandreMarkus closed 1 year ago
Hello @AlexandreMarkus ,
The transparency is needed to view the little color marks that might indicate messages on the lines, see the attached screenshot.
Note that you can customize this using CSS, via a ~/.gnatstudio/gps.css
file.
Regards,
I would like all the scroll bars to have the same color. The ones from the text editor are more transparent and difficult to see. Would be nice if it could be the same color than the one from messages box