diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2019-05-11 09:49:34 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-05-11 09:49:34 +0200 |
| commit | 89c37dae490b8072a0997bbcab739c45ecb3044d (patch) | |
| tree | b246a275177821fc4b742e1d39b114ef581e1784 /editor/editor_themes.h | |
| parent | 58c5eb781eed33da16890e310f06c317c5aca619 (diff) | |
| parent | fedf9cd3796dabdadb2faf362eaadeb4fded22af (diff) | |
Merge pull request #28807 from bojidar-bg/28798-open-filesystem
Open selected folder when pressing the "Open" option in the menu
Diffstat (limited to 'editor/editor_themes.h')
0 files changed, 0 insertions, 0 deletions