diff options
| author | Juan Linietsky <reduzio@gmail.com> | 2019-01-22 12:29:26 -0300 |
|---|---|---|
| committer | Juan Linietsky <reduzio@gmail.com> | 2019-01-22 12:29:26 -0300 |
| commit | c70c43c8885006d64224b08ea02e05af13827d73 (patch) | |
| tree | b7bc7355ef001b502b33458ccb0e1562664dd0c1 /doc | |
| parent | 4333a68ca0d23eba398a1fc68674988d05ac11dc (diff) | |
Make inspector gain focus on refresh only if it has it, fixes #24979, closes #25053
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions