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/icon_GUI_option_arrow.png | |
parent | a5b7c2200ccc184157d4055c80751a7454f3e0e9 (diff) |
Improvements and fixes for the default theme.
Added customizable border size and window highlight.
Diffstat (limited to 'editor/icons/icon_GUI_option_arrow.png')
-rw-r--r-- | editor/icons/icon_GUI_option_arrow.png | bin | 0 -> 205 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/editor/icons/icon_GUI_option_arrow.png b/editor/icons/icon_GUI_option_arrow.png Binary files differnew file mode 100644 index 0000000000..b7bc38e03f --- /dev/null +++ b/editor/icons/icon_GUI_option_arrow.png |