@Hans: Thanks a lot, I'm looking forward to testing it.

@Alan: Like Hans said. It's a new option, and I have it activated in my local 
environment file. It's the only and clumsy way to control the interface setting 
since Adobe Reader cannot save the state of the menu bar permanently (which is 
complete nonsense). I use Acrord because I'm used to it and because I think it 
still has the best subpixel rendering, at least in the Linux world (with Wine). 
Mozilla's PDF.js comes close though.

If your question is of interest to others as well, please add an entry to the 

maillist : ntg-context@ntg.nl / http://www.ntg.nl/mailman/listinfo/ntg-context
webpage  : http://www.pragma-ade.nl / http://context.aanhet.net
archive  : https://bitbucket.org/phg/context-mirror/commits/
wiki     : http://contextgarden.net

Reply via email to