diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2017-07-18 14:06:04 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-07-18 14:06:04 +0200 |
| commit | 0afa77a8a2e148fac6b57fab3e85c6e631e12c63 (patch) | |
| tree | 1d1f89e19f9dda09d4c4c6c246ec6f510f251047 /editor/editor_resource_preview.h | |
| parent | e21ea393ea9d69a53f82ec4aa6d8c7f05c16979a (diff) | |
| parent | 17c3422431c3312d6e124b0afa871fd166928669 (diff) | |
Merge pull request #9689 from djrm/theme_fixes
Added separators using StyleBoxLine, some theme style fixes
Diffstat (limited to 'editor/editor_resource_preview.h')
0 files changed, 0 insertions, 0 deletions