Subject: Re: 23.2; menu-set-font doesn't save the default font I choose

From: Deniz Dogan <[email-masked]>
Date: Fri, 9 Jul 2010 06:58:20 +0200

tags 6590 notabug
close 6590
thanks

I just found that you need to click "Save Options" under the "Options"
menu to make the change permanent.