diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2019-06-11 11:56:53 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-06-11 11:56:53 +0200 |
commit | 8d5bb06ae001d6aac9454490ca2f80a580495499 (patch) | |
tree | b76c0227b26b4acd750b55c1d7b30d57b47b6dfe /platform/server | |
parent | bc75ef5ad091d93ce29868df4a8956c403e5c63b (diff) | |
parent | ecda25b050a40e7b4b17f735bc7aec4c584f88c9 (diff) |
Merge pull request #29515 from Calinou/editor-inspector-checkbox-hseparation
Add a margin to "checkable" property checkboxes in the editor inspector
Diffstat (limited to 'platform/server')
0 files changed, 0 insertions, 0 deletions