Files
gio-patched/ui
Elias Naur 7d93a2790c ui/layout: delete List.Distance field
Distance was meant to be used for implementing nested scrollers, but
I don't think the API is right. For example, Distance doesn't report
residual fling scrolling.

Delete the field while we wait for a better approach.

Signed-off-by: Elias Naur <mail@eliasnaur.com>
2019-09-05 20:41:09 +02:00
..
2019-08-11 19:50:03 +02:00
2019-08-26 20:35:16 +01:00
2019-08-11 16:46:03 +02:00
2019-08-14 10:53:20 +02:00
2019-08-14 10:53:20 +02:00
2019-08-09 20:35:04 +02:00
2019-08-09 20:35:04 +02:00
2019-08-08 14:54:51 +02:00