diff options
author | Daniel J. Ramirez <djrmuv@gmail.com> | 2017-07-14 23:40:17 -0500 |
---|---|---|
committer | Daniel J. Ramirez <djrmuv@gmail.com> | 2017-07-16 13:23:59 -0500 |
commit | a3c2d9a6bdbe3967c8f747e39b2b581729b492c1 (patch) | |
tree | 3bac72448fe7999e36bb98e3a0af9da895eaffbd /editor/icons/2x/icon_graph_time.png | |
parent | a5b7c2200ccc184157d4055c80751a7454f3e0e9 (diff) |
Improvements and fixes for the default theme.
Added customizable border size and window highlight.
Diffstat (limited to 'editor/icons/2x/icon_graph_time.png')
0 files changed, 0 insertions, 0 deletions