diff options
| author | Hugo Locurcio <hugo.locurcio@hugo.pro> | 2018-09-30 19:01:32 +0200 |
|---|---|---|
| committer | Hugo Locurcio <hugo.locurcio@hugo.pro> | 2018-09-30 19:01:32 +0200 |
| commit | 88755d28d734ad49ff7f945eb23dafbe03cd4b67 (patch) | |
| tree | eb5c01b741da7c917eed8c74a04538a318e4fd04 /core/os/midi_driver.h | |
| parent | 3ee657e7a7ffdcdb1fd46e095fef97622b99e909 (diff) | |
Add a subtle background and border to unselected tabs in the editor
Diffstat (limited to 'core/os/midi_driver.h')
0 files changed, 0 insertions, 0 deletions