James - > As described below, if the user hasn't yet set 'guifont' the font > selection dialog will not have the default font selected which leads to > confusing behavior. > > The attached patch addresses the first problem Andreas describes, but I > don't see a way to address the second problem. The GTK developers > âhelpfullyâ removed the ability to set a filter on the > fonts that can be selected when they changed from GTK1 to GTK2.
Thanks, I'll put this in the todo list. - Bram -- hundred-and-one symptoms of being an internet addict: 195. Your cat has its own home page. /// Bram Moolenaar -- [email protected] -- http://www.Moolenaar.net \\\ /// sponsor Vim, vote for features -- http://www.Vim.org/sponsor/ \\\ \\\ download, build and distribute -- http://www.A-A-P.org /// \\\ help me help AIDS victims -- http://ICCF-Holland.org /// -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]

