diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2017-06-26 22:56:38 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-06-26 22:56:38 +0200 |
| commit | e65f44472644babe00c35b677b55480c6d2e1119 (patch) | |
| tree | 0b13783f8922411b23034727450b8c01e33568a5 /editor/property_editor.h | |
| parent | f2bc0cc96663bbdde872c2a4d9a29f2218ff7d22 (diff) | |
| parent | 5374145afa140b06269d0f05e000b9a730b42539 (diff) | |
Merge pull request #9385 from toger5/theme_item_list
margins for item list
Diffstat (limited to 'editor/property_editor.h')
0 files changed, 0 insertions, 0 deletions