Commit graph

4 commits

Author SHA1 Message Date
Hugo Locurcio 566213e08d
Add a subtle background to editor scrollbars
This makes it possible to see whether a scrollbar grabber is at the top
or at the bottom of a scrollbar. Also, if a scrollable area is very
large, this makes it easier to notice that the area can be scrolled
(since the grabber is proportionally very small).

The scrollbar grabbers were also made thicker and slightly more opaque
for better visibility, especially in peripheral vision.

(cherry picked from commit b60b6ddba4)
2021-04-06 10:04:51 +02:00
Rémi Verschelde eda03831d6 Style: Add missing newlines to SVGs 2020-07-24 10:39:18 +02:00
Hugo Locurcio 790391bc93
Optimize editor icon SVGs using svgcleaner
This makes editor binaries about 230 KB smaller.

The command used was:

    parallel svgcleaner --multipass {} {} ::: editor/icons/*.svg
2019-09-24 22:49:30 +02:00
Daniel J. Ramirez c873661c30 Added pure vector theme, with dark icons variation 2017-08-20 13:53:09 -05:00