Files
gio/widget
Elias Naur bed5902476 widget: remove pointer area padding from Editor
Pointer padding was introduced in bfece0beba.
I don't remember why, and its commit message doesn't say. Regardless, adding
padding outside a widget's reported dimensions doesn't seem like a good idea
(see #365), and this change removes it.

Fixes: https://todo.sr.ht/~eliasnaur/gio/365
Signed-off-by: Elias Naur <mail@eliasnaur.com>
2022-02-19 12:15:48 +01:00
..
2021-12-01 17:57:04 +01:00
2021-12-01 17:57:04 +01:00
2021-12-07 12:45:53 +01:00
2019-11-06 10:57:17 +01:00
2021-12-01 17:57:04 +01:00
2021-10-07 15:01:17 +02:00
2021-02-28 10:19:49 +01:00