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 | |
| 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')
0 files changed, 0 insertions, 0 deletions