Age | Commit message (Collapse) | Author | |
---|---|---|---|
2021-04-05 | Add a subtle background to editor scrollbars | Hugo Locurcio | |
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. | |||
2020-07-13 | Commit only the SVG files changed by file_format.sh | Aaron Franke | |
There were a lot of SVG files changed by file_format.sh | |||
2020-02-24 | Use PascalCase file names for editor icons | Hugo Locurcio | |
Using PascalCase file names without any conversion step is less confusing to new contributors. |