diff options
| author | Bram Moolenaar <Bram@vim.org> | 2015-11-19 20:23:37 +0100 |
|---|---|---|
| committer | Bram Moolenaar <Bram@vim.org> | 2015-11-19 20:23:37 +0100 |
| commit | 97b0b0ec764d3a247ef600d809b965d5ab37155d (patch) | |
| tree | f57a49cce77d95d7dea937f86efda1d00ba28936 | |
| parent | d29c6fea94947b3f4b54fbd5a6f832a7d744bf27 (diff) | |
| download | vim-git-97b0b0ec764d3a247ef600d809b965d5ab37155d.tar.gz | |
patch 7.4.930v7.4.930
Problem: MS-Windows: Most users appear not to like the window border.
Solution: Remove WS_EX_CLIENTEDGE. (Ian Halliday)
| -rw-r--r-- | src/gui_w32.c | 6 | ||||
| -rw-r--r-- | src/version.c | 2 |
2 files changed, 5 insertions, 3 deletions
diff --git a/src/gui_w32.c b/src/gui_w32.c index b35c8ab8f..c5bd81d85 100644 --- a/src/gui_w32.c +++ b/src/gui_w32.c @@ -1661,7 +1661,7 @@ gui_mch_init(void) return FAIL; } s_textArea = CreateWindowEx( - WS_EX_CLIENTEDGE, + 0, szTextAreaClass, "Vim text area", WS_CHILD | WS_VISIBLE, 0, 0, 100, /* Any value will do for now */ @@ -1716,9 +1716,9 @@ gui_mch_init(void) highlight_gui_started(); /* - * Start out by adding the configured border width into the border offset + * Start out by adding the configured border width into the border offset. */ - gui.border_offset = gui.border_width + 2; /*CLIENT EDGE*/ + gui.border_offset = gui.border_width; /* * Set up for Intellimouse processing diff --git a/src/version.c b/src/version.c index fc286b828..a518d8641 100644 --- a/src/version.c +++ b/src/version.c @@ -742,6 +742,8 @@ static char *(features[]) = static int included_patches[] = { /* Add new patch number below this line */ /**/ + 930, +/**/ 929, /**/ 928, |