diff options
| author | Sergei Kozelko <KozelkoS@yandex.ru> | 2022-12-03 21:05:28 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-12-03 21:05:28 +0000 |
| commit | 1c81d3e0c9375d9b7d28ea521b16415028057c60 (patch) | |
| tree | e26d145443e8acd61770c1f5dc478295324e959f /app/src/main/res/xml/font_preferences.xml | |
| parent | bd5814fd4d09dccdce693dd94d97e48554344d48 (diff) | |
| download | infinity-for-reddit-1c81d3e0c9375d9b7d28ea521b16415028057c60.tar infinity-for-reddit-1c81d3e0c9375d9b7d28ea521b16415028057c60.tar.gz infinity-for-reddit-1c81d3e0c9375d9b7d28ea521b16415028057c60.tar.bz2 infinity-for-reddit-1c81d3e0c9375d9b7d28ea521b16415028057c60.tar.lz infinity-for-reddit-1c81d3e0c9375d9b7d28ea521b16415028057c60.tar.xz infinity-for-reddit-1c81d3e0c9375d9b7d28ea521b16415028057c60.tar.zst infinity-for-reddit-1c81d3e0c9375d9b7d28ea521b16415028057c60.zip | |
Fix placeholder position check (#1216)
* Fix placeholder position check
Because of the missed negation `placeholderPosition` could actually point to a different comment. As a result loaded comments would be displayed at a wrong position which could result in duplicated comments.
* Extract placeholder search code
Simple refactoring. The only notable change is that now technically `placeholderPosition` can be -1. In practice that should never happen, but I added checks anyways
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions