diff options
| author | Bram Moolenaar <Bram@vim.org> | 2004-06-16 11:19:22 +0000 |
|---|---|---|
| committer | Bram Moolenaar <Bram@vim.org> | 2004-06-16 11:19:22 +0000 |
| commit | ed20346f0b81d1d89c22c9616abe8e47b4c17f08 (patch) | |
| tree | 249992fe05850523ab4ed4bc8f66effc8a3251b9 /runtime/doc/gui.txt | |
| parent | 071d4279d6ab81b7187b48f3a0fc61e587b6db6c (diff) | |
Various changes
Diffstat (limited to 'runtime/doc/gui.txt')
| -rw-r--r-- | runtime/doc/gui.txt | 18 |
1 files changed, 17 insertions, 1 deletions
diff --git a/runtime/doc/gui.txt b/runtime/doc/gui.txt index 430a3eb5ca..2e59cc0841 100644 --- a/runtime/doc/gui.txt +++ b/runtime/doc/gui.txt @@ -1,4 +1,4 @@ -*gui.txt* For Vim version 7.0aa. Last change: 2004 Jun 02 +*gui.txt* For Vim version 7.0aa. Last change: 2004 Jun 15 VIM REFERENCE MANUAL by Bram Moolenaar @@ -932,6 +932,22 @@ This section describes other features which are related to the GUI. else echo "Boring old console" endif +< *setting-guifont* +- When you use the same vimrc file on various systems, you can use something + like this to set options specifically for each type of GUI: > + + if has("gui_running") + if has("gui_gtk2") + :set guifont=Luxi\ Mono\ 12 + elseif has("gui_kde") + :set guifont=Luxi\ Mono/12/-1/5/50/0/0/0/1/0 + elseif has("x11") + " Also for GTK 1 + :set guifont=*-lucidatypewriter-medium-r-normal-*-*-180-*-*-m-*-* + elseif has("gui_win32") + :set guifont=Luxi_Mono:h12:cANSI + endif + endif ============================================================================== 7. Shell Commands *gui-shell* |