批注字号修改

批注字体字号的确可以改但是并没有别的pdf阅读器那么人性化,最小的字体只有8pt。然而,我看英文文献,不认识的单词都是在单词上面做批注,但是,英文文献的行间距比较小,8pt的字号显得大了许多。而且我也看到字号修改只能从那一列备选项中选择,不能用户自己根据具体情况手动输入,要是和其他的pdf阅读器一样可以手动就好了。虽然只是很小的一个功能,但是真的回事我这样的人的福音。