diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2018-10-24 20:56:31 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-10-24 20:56:31 +0200 |
commit | f0405d4ae110d5f35655fd272fcb0e2ef9b33ef1 (patch) | |
tree | f58ef9b4476e9a87fc92dff0368662013998fe01 /doc/classes/PanelContainer.xml | |
parent | d2eabd826b4c441d0820d480bbb879375ea0baa0 (diff) | |
parent | dee6a8b93c04a4e0798ba1c39cc6f01f5a5eb12d (diff) |
Merge pull request #23258 from Calinou/tweak-editor-tooltip-size-hidpi
Make editor tooltips wider and scale them on hiDPI displays
Diffstat (limited to 'doc/classes/PanelContainer.xml')
0 files changed, 0 insertions, 0 deletions