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_GUI_checked.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_GUI_checked.png')
| -rw-r--r-- | editor/icons/2x/icon_GUI_checked.png | bin | 0 -> 516 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/editor/icons/2x/icon_GUI_checked.png b/editor/icons/2x/icon_GUI_checked.png Binary files differnew file mode 100644 index 0000000000..d51f20b867 --- /dev/null +++ b/editor/icons/2x/icon_GUI_checked.png |