Under *setting-guifont*, in file runtime/doc/gui.txt (or
$VIMRUNTIME/doc/gui.txt) line 1229
there is
if has("gui_gtk2")
there should be
if has("gui_gtk2") || has("gui_gtk3")
otherwise the 'guifont' option will be given a wrong font name
(selected by has("x11")) in gvim with GTK3 GUI.
Best regards,
Tony.
--
--
You received this message from the "vim_dev" maillist.
Do not top-post! Type your reply below the text you are replying to.
For more information, visit http://www.vim.org/maillist.php
---
You received this message because you are subscribed to the Google Groups
"vim_dev" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to vim_dev+unsubscr...@googlegroups.com.
To view this discussion on the web visit
https://groups.google.com/d/msgid/vim_dev/CAJkCKXuf%2BDxL7XOK0BZqaULuzuxxcBn_oGR_n62vtGTSqrj6yg%40mail.gmail.com.
