jps wrote:There is also a collection of other minor fixes, including an easy way to change the font size.
Thank you for another wonderful release!
Something I noticed is that when I hit font reset, it erases my personalized preference size.
I was expecting the size will be reset to the personalized one and the bigger and smaller font is a transitive change, not persistent.
On a sidenote, with Alpha been open to the world. I believe will be more easy have a bug tracker to deal with the reports so others can search for duplicates and avoid the burden on both you and the users side.
Again, thank you!