From dacd34364ff3af98bc2d357c43e3ce06638e2ce9 Mon Sep 17 00:00:00 2001
From: Jaehoon Hwang <jaehoonhwang@users.noreply.github.com>
Date: Mon, 9 Oct 2023 01:48:24 -0700
Subject: feat(ui-ext): make 'mousehide' into proper ui_option (#25532)

---
 test/functional/ui/options_spec.lua | 7 +++++++
 1 file changed, 7 insertions(+)

(limited to 'test/functional')

diff --git a/test/functional/ui/options_spec.lua b/test/functional/ui/options_spec.lua
index 9d20229ce1..58cd68d94a 100644
--- a/test/functional/ui/options_spec.lua
+++ b/test/functional/ui/options_spec.lua
@@ -19,6 +19,7 @@ describe('UI receives option updates', function()
       linespace=0,
       pumblend=0,
       mousefocus=false,
+      mousehide=true,
       mousemoveevent=false,
       showtabline=1,
       termguicolors=false,
@@ -133,6 +134,12 @@ describe('UI receives option updates', function()
       eq(expected, screen.options)
     end)
 
+    command("set nomousehide")
+    expected.mousehide = false
+    screen:expect(function()
+      eq(expected, screen.options)
+    end)
+
     command("set mousemoveevent")
     expected.mousemoveevent = true
     screen:expect(function()
-- 
cgit