Hi
I am working with gvim through the X. (Gvim is on the server and I am connecting to it with ssh -Y). gvim menu font sizes are small for me and the menu fonts look ugly.
I want to change the menu font and its size. I could not find it how to do it.
I appreciate if you could help.
Thanks a lot.
mehdi |
In your gvim, do
:version
Near the top (usually in the first 5 lines), it will say "xxxx version
with yyyy GUI". If yyyy is Motif or Athena, but not for other GUI
flavours (with them the menu fontsize is fixed, or maybe set somewhere
outside gvim), you can change the font-size and -face for the Menu
highlight by using e.g.
if has('gui_motif') || has('gui_athena')
:hi Menu font=-*-lucidatypewriter-medium-r-normal-*-*-90-*-*-r-*-*
endif
The font name has the same syntax as with 'guifont', it looks like some
kind of gobbledygook but that's the font name format for X11 versions of
gvim other than GTK2, Photon, and the obsolete kvim. The number is the
font size in (I think) tenths of points, and a larger number means a
bigger font. Set it after all of
filetype [plugin] [indent] on
syntax on
colorscheme <name>
if you use any of them, or (even better) in your colorscheme if you use
a colorscheme you wrote yourself. With a similar command on the same
GUIs, you can set the font for the tooltips.
See
:help highlight-font
Best regards,
Tony.
--
hundred-and-one symptoms of being an internet addict:
26. You check your mail. It says "no new messages." So you check it again.