| commit | 41c13fb8b48ff3a788432c5cd9b639c842364488 | |
| author | Emilio Cobos Álvarez <emilio@crisal.io> | |
| Mon, 18 Mar 2024 13:44:00 +0000 (18 13:44 +0000) | ||
| committer | Emilio Cobos Álvarez <emilio@crisal.io> | |
| Mon, 18 Mar 2024 13:44:00 +0000 (18 13:44 +0000) | ||
| tree | 8afda304c53901cdf6e30655164b5fde36468a9b | treesnapshot (tar.gz zip) |
| parent | fe542154330f1ed858f79efd52b2171bba3976ce | commitdiff |
Bug 1712669 - Make Windows tooltip margin depend on cursor size. r=yjuglaret,win-reviewers,desktop-theme-reviewers,dao
I think we should start off with this. Other platforms can implement
this too, but exposing this to content seems like quite the rabbit hole.
Differential Revision: https://phabricator.services.mozilla.com/D203405
I think we should start off with this. Other platforms can implement
this too, but exposing this to content seems like quite the rabbit hole.
Differential Revision: https://phabricator.services.mozilla.com/D203405