diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2018-10-01 08:38:14 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-10-01 08:38:14 +0200 |
| commit | 3a036571f2914dc0e902d52645de2fa5981c0f01 (patch) | |
| tree | 88270ce66322bc2c5f45678821e28ebfc7be3706 /core/os | |
| parent | b073d6c953a6ee3e16f5d566b4ed362092f461b5 (diff) | |
| parent | 88755d28d734ad49ff7f945eb23dafbe03cd4b67 (diff) | |
Merge pull request #22567 from Calinou/unselected-tabs-background
Add a subtle background and border to unselected tabs in the editor
Diffstat (limited to 'core/os')
0 files changed, 0 insertions, 0 deletions