diff options
| author | Hugo Locurcio <hugo.locurcio@hugo.pro> | 2019-09-19 22:27:29 +0200 |
|---|---|---|
| committer | Hugo Locurcio <hugo.locurcio@hugo.pro> | 2019-09-19 22:29:25 +0200 |
| commit | 04f43116d60c49c1f6dac2edf5140404692b62a9 (patch) | |
| tree | 48d0b38ae995dff25a0166c3a23b9d98801e2b66 /servers/visual | |
| parent | 2add51d0823fe2ef7cb439a6f3fae17e8dd4717f (diff) | |
Improve folding appearance in the editor inspector
The arrow is now displayed at the left to be consistent with
other places where folding is used. The arrow icons used are now
consistent with the rest of the editor. The `arrow_up` icon is
no longer used anywhere, so it was removed.
Additional spacing was also added for a better visual appearance.
Diffstat (limited to 'servers/visual')
0 files changed, 0 insertions, 0 deletions