Marco Trevisan (Treviño)
54039c3552
st: Introspect ScrollViewFade to read fade properties
...
Util.ensureActorVisibleInScrollView takes care of the potential scroll view fade
effect in order to compute the scroll offset, reading the ScrollViewFade's
`vfade-offset` property. This was correctly working until gnome 3.30 cycle.
However such property isn't defined now because since gjs 1.54, it can only
fetch introspected properties and St.ScrollViewFade was considered a private API
not exposed by gir.
Fix this by also introspecting st-scroll-view-fade sources.
Not being considered private anymore, install the header.
Fixes https://gitlab.gnome.org/GNOME/gnome-shell/issues/1061
2019-05-15 15:15:31 -05:00
..
2019-05-15 15:15:31 -05:00
2018-07-13 11:53:46 +00:00
2015-10-15 22:02:35 +02:00
2019-01-30 22:50:01 +01:00
2015-10-15 22:02:35 +02:00
2014-10-14 18:53:39 -07:00
2015-10-15 22:02:35 +02:00
2015-10-15 21:05:22 +02:00
2015-10-15 22:02:35 +02:00
2018-10-08 22:42:24 -03:00
2015-10-15 22:02:35 +02:00
2019-02-05 16:25:54 +01:00
2015-10-15 22:02:35 +02:00
2019-05-02 15:58:51 +00:00
2019-05-02 15:58:51 +00:00
2019-03-01 17:12:52 +00:00
2015-10-15 22:02:35 +02:00
2019-01-30 23:18:53 +01:00
2018-02-05 17:46:57 +01:00
2019-01-30 22:50:01 +01:00
2015-10-15 22:02:35 +02:00
2015-10-05 12:04:55 +01:00
2013-08-28 16:05:54 +02:00
2011-06-02 16:22:28 -04:00
2010-11-12 17:36:26 -05:00
2019-05-07 20:28:03 +00:00
2015-10-15 22:02:35 +02:00
2019-03-01 17:12:52 +00:00
2019-03-01 17:12:52 +00:00
2019-03-01 17:12:52 +00:00
2015-10-15 22:02:35 +02:00
2019-04-18 16:33:06 -03:00
2019-03-01 17:12:52 +00:00
2015-10-15 22:02:35 +02:00
2015-10-15 22:02:35 +02:00
2019-03-01 17:12:52 +00:00
2013-09-18 20:01:49 +02:00
2015-10-15 22:02:35 +02:00
2019-01-30 22:50:01 +01:00
2019-01-30 22:50:01 +01:00
2015-10-15 22:02:35 +02:00
2015-10-15 22:02:35 +02:00
2019-04-02 20:28:54 +00:00
2019-04-08 18:17:46 +02:00
2019-01-28 12:35:54 -02:00
2019-03-04 22:29:33 +00:00
2019-05-04 00:50:31 +00:00
2019-03-08 16:20:21 +01:00
2015-10-15 22:02:35 +02:00
2015-10-15 22:02:35 +02:00
2019-03-01 17:12:52 +00:00
2019-04-30 15:02:29 +02:00
2019-03-12 01:14:52 +00:00
2019-03-01 17:12:52 +00:00
2019-04-30 15:02:29 +02:00
2019-03-01 17:12:52 +00:00
2012-12-15 03:40:13 +01:00
2015-10-15 22:02:35 +02:00
2015-10-15 22:02:35 +02:00
2012-08-29 16:41:09 -03:00
2011-01-20 12:56:46 +01:00
2019-05-07 20:28:03 +00:00
2019-03-01 17:12:52 +00:00
2017-07-20 00:20:54 +02:00
2019-03-04 20:10:07 +00:00
2019-02-26 03:04:00 +01:00