Używam macvim i uwielbiam to. Tak się składa, że bardzo lubię domyślną czcionkę.
Moje pytanie brzmi:
Jak zmienić rozmiar czcionki w moim pliku .gvimrc? Chcę, aby był większy, bez zmiany domyślnej czcionki.
Wszystkie przykłady, które widziałem, określają czcionkę, a następnie „:”, a następnie rozmiar.
Jak więc zmienić rozmiar, a nie samą czcionkę ?
Dzięki!
De Ja Vu Vera
moim systemie. Huh. W każdym razie dzięki!Bitstream
rodziny czcionek, „aby zapewnić szerszy zakres znaków przy zachowaniu oryginalnego wyglądu i stylu” . Dzięki za powrót z tymi informacjami.Szybkim sposobem ustawienia czcionki, jeśli nie przeszkadza ci wyskakujące menu, jest wpisanie
:set gfn=*
.Pozwoli ci to dostosować dowolną właściwość czcionki bez zmiany czegokolwiek innego.
Następnie możesz użyć,
:set gfn
aby zobaczyć, co jest teraz ustawione i dodać to do swojego .vimrc.Jako przykład, w moim przypadku to pokazuje,
guifont=Monaco:h12
więc aby uzyskać to samo ustawienie podczas uruchamiania, dodałemset gfn=Monaco:h12
do mojego .vimrc.źródło
Żadna z powyższych odpowiedzi nie zadziałała dla mnie, oto co się udało:
Dodaj do swojego pliku .gvimrc, dla użytkowników janus jego plik ~ / .gvimrc. po:
źródło
⌘- =i ⌘- odpowiednio -zwiększają i zmniejszają rozmiar czcionki.
źródło
To świetnie działa na mój koniec.
: set guifont = Menlo \ Regular: h12
źródło
W odpowiedziach brakuje jednej przydatnej notatki - możesz użyć,
set guifont=*
która spowoduje wyświetlenie selektora czcionek, abyś mógł wybrać spośród dostępnych czcionek w systemie. Może to być tylko OSX i Linux, ale lepiej jest wprowadzać je ręcznie.Po wybraniu czcionki możesz użyć
set guifont
ponownie, co spowoduje wydrukowanie nazwy czcionki i wybranego rozmiaru. Jedynym zastrzeżeniem jest to, że wszelkie spacje muszą być odwrócone ukośnikiem w twoim ~ / .vimrcźródło
Zmiana rozmiaru czcionki w konsoli Vima może zwiększyć lub zmniejszyć
W przypadku Macvima działają następujące skróty klawiszowe
W przypadku terminala
źródło
fontsize
w odpowiednioset guifont=Menlo\ Regular:h<fontsize>
wzrośnie / zmniejszy się.