diff options
| author | Bram Moolenaar <Bram@vim.org> | 2020-04-10 22:10:56 +0200 |
|---|---|---|
| committer | Bram Moolenaar <Bram@vim.org> | 2020-04-10 22:10:56 +0200 |
| commit | d1caa941d876181aae0ebebc6ea954045bf0da24 (patch) | |
| tree | d1bf3cfdafc0c363b970f95aaa55a3a9c81f12fb /runtime/doc/gui_w32.txt | |
| parent | 7b293c730b07d1586688e622b8d9cbbb4a52379b (diff) | |
Update runtime files
Diffstat (limited to 'runtime/doc/gui_w32.txt')
| -rw-r--r-- | runtime/doc/gui_w32.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/runtime/doc/gui_w32.txt b/runtime/doc/gui_w32.txt index fda3618336..30e2287826 100644 --- a/runtime/doc/gui_w32.txt +++ b/runtime/doc/gui_w32.txt @@ -199,7 +199,7 @@ With..." menu. This means you can use Vim to edit many files. Not every file One reason to add this is to be able to edit HTML files directly from Internet Explorer. To enable this use the "Tools" menu, "Internet Options..." entry. In the dialog select the "Programs" tab and select Vim in the "HTML editor" -choice. If it's not there than installing didn't work properly. +choice. If it's not there then installing didn't work properly. Doing this manually can be done with this script: |