updated for version 7.4.445
Problem: Clipboard may be cleared on startup.
Solution: Set clip_did_set_selection to -1 during startup. (Christian
Brabandt)
diff --git a/src/ui.c b/src/ui.c
index 21d92f0..b268cd7 100644
--- a/src/ui.c
+++ b/src/ui.c
@@ -571,7 +571,7 @@
{
clip_unnamed_saved = clip_unnamed;
- if (clip_did_set_selection)
+ if (clip_did_set_selection > 0)
{
clip_unnamed = FALSE;
clip_did_set_selection = FALSE;
@@ -584,7 +584,7 @@
void
end_global_changes()
{
- if (!clip_did_set_selection)
+ if (clip_did_set_selection == FALSE) /* not when -1 */
{
clip_did_set_selection = TRUE;
clip_unnamed = clip_unnamed_saved;