Mosc

I've looked into this a bit. It turns out the system setting is exposed as [`disableAnimations`](https://api.flutter.dev/flutter/widgets/MediaQueryData/disableAnimations.html) in Flutter, but the framework itself doesn't actually use that value for anything. I...

The good news is that the Flutter framework _does_ use the mentioned field, for instance to make page transitions instant. I've added code that uses it to disable the app's...

This was a conscious choice because I think the UI looks better when tiles have a consistent height. Favicons will typically also occupy the two full lines, but in your...

I'm pretty sure this is a bug in the `SearchAnchor` widget from the Flutter framework that's being used. I've seen some related recent activity on the Flutter master branch that...

Unfortunately, maintaining two completely different UIs is simply not feasible for me. If you strongly prefer the older interface I can only recommend you to stay on an older version...

Thanks for the suggestions, everyone. Some initial thoughts: - Setting to disable favicons sounds reasonable. - Setting to disable user avatars sounds reasonable. However, don't expect it to impact the...

> Installed v1.18.1 from F-Droid. @Mosc is this version ever going to be removed from the store? If the Hacker News API changes I may end up creating a fork,...

> What if we distinguished between places where usernames appear: > > * On frontpage-type lists > > * In the headers of discussion pages > > * On comments...

> @Mosc Bold fonts are semantic compared to larger fonts in the sense that text-to-speech (TTS) puts more emphasis on them. For titles, I presume that large font option is...

> The APK for 1.18 seem to have disappeared from F-Droid and Git releases. If someone still have the old version of Glider could you please upload it somewhere? I've...