fix popup menu jittering; fix popup menu single-click vs. double-clic…

…k actions

ViewModels/GridViewModel.fs

@@ -420,10 +420,21 @@ and GridViewModel(_gridid: int, ?_parent: GridViewModel, ?_gridsize: GridSize) a
         m_popupmenu_vm.Show <- false
 
     let selectPopupMenuPassive i =
+        // mark the change as passive
+        if m_popupmenu_vm.Selection <> i then
+            m_popupmenu_vm.Passive <- true
         m_popupmenu_vm.Selection <- i
 
     let selectPopupMenuActive i =
-        model.SelectPopupMenuItem i true false
+        // only changes caused by active selection (not notified from neovim)
+        // should cause a notification message to be sent back to neovim.
+        if m_popupmenu_vm.Passive then
+        #if DEBUG
+            trace _gridid "selectPopupMenuActive: muting passive change"
+        #endif
+            m_popupmenu_vm.Passive <- false
+        else
+            model.SelectPopupMenuItem i true false
 
     let commitPopupMenu i =
         model.SelectPopupMenuItem i true true

ViewModels/PopupMenuViewModel.fs

@@ -38,6 +38,8 @@ type PopupMenuViewModel() =
         with get(): bool = m_show
         and set(v) = ignore <| this.RaiseAndSetIfChanged(&m_show, v, "Show")
 
+    member val Passive: bool = false with get,set
+
     member this.Selection
         with get(): int = m_selection
         and set(v) = ignore <| this.RaiseAndSetIfChanged(&m_selection, v, "Selection")

Views/PopupMenu.xaml.fs

@@ -33,3 +33,6 @@ type PopupMenu() as this =
 
     override this.OnTextInput(e) =
         relayToParent e
+
+    override this.OnPointerReleased(e) =
+        e.Handled <- true