Francesco Saltori

Results 96 comments of Francesco Saltori

Were you following the development of that library too? :smile: I'll give this PR a whirl once it's rebased. Don't forget to update the used libraries in the Readme and...

I've played a bit with it and the emoji parsing behaves more faithfully to the GitHub website, which is a great plus. Unfortunately, there's a problem: when opening for the...

1.7.1 improves loading times significantly, but not enough not to be noticeable on older devices. The improvements I've measured (on debug builds, with a fair amount of approximation) are the...

I've just tested 1.7.2 but it crashes: ``` java.io.InvalidClassException: net.fellbaum.jemoji.Emoji; local class incompatible: stream classdesc serialVersionUID = 7671752869581901954, local class serialVersionUID = 7835010533519095060 at java.io.ObjectStreamClass.initNonProxy(ObjectStreamClass.java:652) at java.io.ObjectInputStream.readNonProxyDesc(ObjectInputStream.java:1743) at java.io.ObjectInputStream.readClassDesc(ObjectInputStream.java:1624) at...

Hello @felldo, I've tested the attached JAR and it didn't crash anymore, but loading times are massively slower than v1.7.1. For comparison, on the aforementioned Samsung Galaxy A3 2017 initialization...

Can confirm that the new build improves things a lot, loading performance is now the same as 1.7.1. Since we've seen that preloading emojis upfront is required to avoid stutters...

Hello @WarriorRedX, which operation(s) did you run before the issue occurred? I assume you are referring to the icons in the Windows Start Menu. Have you tried rebooting the system...

FWIW, I have also opened a feedback discussion to GitHub to try and get back some pull request fields in the feed that we now need to fetch separately: https://github.com/orgs/community/discussions/177735

The GitHub API currently does not expose the data needed to display this information in the app. I have opened a feature request to them which you can upvote [here](https://github.com/orgs/community/discussions/154516).

As much as I'd like to implement support for discussion notifications, the GitHub API doesn't yet provide the data we need. I sent [a feature request some time ago](https://github.com/orgs/community/discussions/37536) but...