お知らせ

  • 利用規約を守って投稿してください。また、よくある質問および投稿の手引きも参照してください。
  • メッセージの投稿にはアカウントが必要です。未登録の方は、ユーザ登録ページからアカウントを作成することができます。

#1 2013-05-18 21:02:55

LINEW
メンバ
登録日: 2013-04-30

gvimのフォントサイズの変更

gvimでフォントのサイズの変更をしたいのですが
そこで
.gvimrcに
  set guifontset=Monospace:h11
とかくと
文字サイズはデフォルトの10のまま
ファミリはMonospaceとはちがうSansになります。
そして1文字1文字の幅が異常なほどに広くなってしまいます。

どうしたらフォントはMonospaceで文字サイズを11にできるでしょうか?
教えてください

環境はUbuntu12.10
vimのバージョンは7.3です

オフライン

 

#2 2013-05-20 14:32:41

yama
メンバ
登録日: 2006-10-23

Re: gvimのフォントサイズの変更

set guifont=Monospace\ 11
でどうでしょう。

オフライン

 

#3 2013-05-20 15:51:29

LINEW
メンバ
登録日: 2013-04-30

Re: gvimのフォントサイズの変更

できました。
本当にありがとうございました。

私のやり方は何がいけなかったのでしょうか?
もしよろしければ教えてください。

オフライン

 

#4 2013-05-20 17:55:13

katsu07
ゲスト

Re: gvimのフォントサイズの変更

[guifontset]と[guifont]は別々に存在するオプションであり、同じフォントに関する事を設定しますがやっている事は違います。

[guifontset]をhelpで見ると以下の様に記述されています。

When not empty, specifies two (or more) fonts to be used.
The first one for normal English, the second one for your special language.

 

#5 2013-05-20 18:08:31

katsu07
ゲスト

Re: gvimのフォントサイズの変更

修正です。

やっている事は違います。

と書きましたが、

設定の仕方は違います。

です。

 

#6 2013-05-20 19:18:30

LINEW
メンバ
登録日: 2013-04-30

Re: gvimのフォントサイズの変更

ありがとうございました。

私は英語が苦手なのでどうしても逃げてしまいがちなのですが、
helpなどを読むことは必要ですね。

オフライン

 

Board footer

Powered by FluxBB