Andreas,
Concerning zooming, why is it that in Chrome when I open a pdf in the browser (not using MetaPDF, but just the regular Chrome viewer) I can zoom and it stays “pretty”.
Regardless, the highlighting does seem to work better, and that’s more important.
Finally, it would be nice to be able to change the background color to make it darker (also like in the default Chrome browser). Don’t know why, but it’s easier for me to read when the whole screen isn’t so bright. (BTW, my monitor is broken such that I can’t actually lower the brightness of the entire screen. I’m stuck with the level its at). So, making part of the screen darker is my only option.
Thanks!
Mark
ADDENDUM 1: I noticed that the “change name” option when you click on the “auto sync” pull down menu doesn’t seem to work.