diff options
| author | Juan Linietsky <reduzio@gmail.com> | 2018-05-07 12:09:49 -0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-05-07 12:09:49 -0300 |
| commit | b89e354ce634884ee2f5839577667b4e835f97c8 (patch) | |
| tree | 62b73cc227ecf9501d41e31f6a38484ce7fefafa /editor/editor_profiler.h | |
| parent | fd8e93eb9f68e39297c3afe26625bdfe4f6f5a74 (diff) | |
| parent | 7ff3b52dea5b19c3bee28f261d6b521afb717f3c (diff) | |
Merge pull request #18610 from homer666/editor-popup-adjustments
Adjust default editor dialog window sizes
Diffstat (limited to 'editor/editor_profiler.h')
0 files changed, 0 insertions, 0 deletions