# HG changeset patch
# User bsmith@81767d24-ef19-dc11-ae90-00e081727c95
# Date 1658007995 0
# Node ID a3d62de81ec097dc4fd13e946296cc3eeabf8b7e
# Parent  62837ceeec46bc9c9cb23efa37f5ebadcf3a0481
Android: Changes to highlight the selected node of the tree widget.

diff -r 62837ceeec46 -r a3d62de81ec0 android/DWindows.kt
--- a/android/DWindows.kt	Sat Jul 16 01:36:04 2022 +0000
+++ b/android/DWindows.kt	Sat Jul 16 21:46:35 2022 +0000
@@ -432,6 +432,7 @@
                 treeItemView.expandCollapseView.setImageResource(R.drawable.ic_menu_add)
             }
         }
+        treeItemView.isChecked = node.isSelected()
     }
 }
 
@@ -461,6 +462,9 @@
     // The current selected Tree Item
     private var currentSelectedItem: DWTreeItem? = null
 
+    // The current selected Tree Item
+    private var currentSelectedItemView: DWTreeItemView? = null
+
     // Custom OnClickListener to be invoked when a DWTreeItem has been clicked.
     private var treeItemClickListener: ((DWTreeItem?, View?) -> Boolean)? = null
 
@@ -496,8 +500,12 @@
         holder.itemView.setOnClickListener { v ->
             // Handle node selection
             currentNode.setSelected(true)
+            val treeItemView = holder.itemView as DWTreeItemView
+            treeItemView.isChecked = true
             currentSelectedItem?.setSelected(false)
+            currentSelectedItemView?.isChecked = false
             currentSelectedItem = currentNode
+            currentSelectedItemView = treeItemView
 
             // Handle node expand and collapse event
             if (!currentNode.getChildren().isEmpty()) {