I've filled a new bug (bug 853262) for version 1.3.0 as in my case the font change never works, but it remebers my choice on a per file basis, which is odd for a preferences menu.
I've filled a new bug (bug 853262) for version 1.3.0 as in my case the font change never works, but it remebers my choice on a per file basis, which is odd for a preferences menu.