Mercurial > vim
comparison src/screen.c @ 16904:9138e2c60bf1 v8.1.1453
patch 8.1.1453: popup window "moved" property not implemented yet
commit https://github.com/vim/vim/commit/3397f74ac2ac27f1eef48e950c3c8eeb0338fe55
Author: Bram Moolenaar <Bram@vim.org>
Date: Sun Jun 2 18:40:06 2019 +0200
patch 8.1.1453: popup window "moved" property not implemented yet
Problem: Popup window "moved" property not implemented yet.
Solution: Implement it.
author | Bram Moolenaar <Bram@vim.org> |
---|---|
date | Sun, 02 Jun 2019 18:45:06 +0200 |
parents | aad59f9fe253 |
children | 6a99709c6ae3 |
comparison
equal
deleted
inserted
replaced
16903:52ff7612af87 | 16904:9138e2c60bf1 |
---|---|
1048 | 1048 |
1049 // Find the window with the lowest zindex that hasn't been updated yet, | 1049 // Find the window with the lowest zindex that hasn't been updated yet, |
1050 // so that the window with a higher zindex is drawn later, thus goes on | 1050 // so that the window with a higher zindex is drawn later, thus goes on |
1051 // top. | 1051 // top. |
1052 // TODO: don't redraw every popup every time. | 1052 // TODO: don't redraw every popup every time. |
1053 popup_visible = FALSE; | |
1053 popup_reset_handled(); | 1054 popup_reset_handled(); |
1054 while ((wp = find_next_popup(TRUE)) != NULL) | 1055 while ((wp = find_next_popup(TRUE)) != NULL) |
1055 { | 1056 { |
1056 // Recompute the position if the text changed. | 1057 // Recompute the position if the text changed. |
1057 if (wp->w_popup_last_changedtick != CHANGEDTICK(wp->w_buffer)) | 1058 if (wp->w_popup_last_changedtick != CHANGEDTICK(wp->w_buffer)) |
1064 wp->w_winrow += top_off; | 1065 wp->w_winrow += top_off; |
1065 wp->w_wincol += left_off; | 1066 wp->w_wincol += left_off; |
1066 | 1067 |
1067 // Draw the popup text. | 1068 // Draw the popup text. |
1068 win_update(wp); | 1069 win_update(wp); |
1070 popup_visible = TRUE; | |
1069 | 1071 |
1070 wp->w_winrow -= top_off; | 1072 wp->w_winrow -= top_off; |
1071 wp->w_wincol -= left_off; | 1073 wp->w_wincol -= left_off; |
1072 | 1074 |
1073 total_width = wp->w_popup_border[3] + wp->w_popup_padding[3] | 1075 total_width = wp->w_popup_border[3] + wp->w_popup_padding[3] |