Menu gVim znikają podczas aktualizacji z Ubuntu 18.04 z 16.04

Menu GVim zniknęły po aktualizacji do Ubuntu 18.04 (od 16.04). F10 pokazuje menu, ale nie wiem, jak zmienić rozmiar czcionki.

GVim to mój edytor kodu. Jest to wersja VIM 8 i jest wyświetlana jako „zainstalowana” w Centrum oprogramowania.

Musisz zmienić zmienną guioptions. moznacza menu, Tpasek narzędzi.

Aby dodać menu, ustaw opcje w trybie normalnym ViM, takie jak:

:set guioptions+=m

Aby dodać pasek narzędzi

:set guioptions+=T

Z set guioptions?ViM pokazuje bieżące ustawienia.

Jeśli chcesz mieć to na stałe dodaj te dwa wiersze do ~/.vimrc:

set guioptions+=m
set guioptions+=T

patrz także http://vim.wikia.com/wiki/Hide_toolbar_or_menus_to_see_more_text .

Przepraszam, że jestem pedantyczny, ale czy instalowanie starszej wersji Ubuntu nie oznacza „obniżenia wersji”?

I nie jestem zbyt obeznany z gVim, aby udzielać jakichkolwiek porad. Używam Nano (linia poleceń) i Geany (pulpit).

Steve Wright