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 /thirdparty/misc | |
| parent | a5b7c2200ccc184157d4055c80751a7454f3e0e9 (diff) | |
Improvements and fixes for the default theme.
Added customizable border size and window highlight.
Diffstat (limited to 'thirdparty/misc')
0 files changed, 0 insertions, 0 deletions