diff options
| author | bruvzg <7645683+bruvzg@users.noreply.github.com> | 2019-10-24 13:25:21 +0300 |
|---|---|---|
| committer | bruvzg <7645683+bruvzg@users.noreply.github.com> | 2019-10-24 13:25:21 +0300 |
| commit | 2f3db42de874827957846acd247a710d24e8ca45 (patch) | |
| tree | 1a330f12276fe719a51424bf678eafabe1aa47f4 /editor/project_manager.h | |
| parent | 35944aebdeb4c3b5869aaeedaaded02397b7ce92 (diff) | |
Update dock menu on project list changes, add favourites separator.
Diffstat (limited to 'editor/project_manager.h')
0 files changed, 0 insertions, 0 deletions