2017-02-23 19:32:47 +01:00
|
|
|
" gvimrc for test_gui_init.vim
|
|
|
|
|
|
2022-04-03 18:02:37 +01:00
|
|
|
if has('gui_motif') || has('gui_gtk2') || has('gui_gtk3')
|
2017-02-23 19:32:47 +01:00
|
|
|
set guiheadroom=0
|
2017-03-12 17:10:33 +01:00
|
|
|
set guioptions+=p
|
2017-02-23 19:32:47 +01:00
|
|
|
endif
|