//  -- Wisher

turn-hiding-on
   {
   setglobal @hiding "on"
   "/pref autohide on\r"
   }


turn-hiding-off
   {
   setglobal @hiding "off"
   "/pref autohide off\r"
   }

toggle-hiding
   {
   if @hiding != "off"
      call turn-hiding-off
   else
      call turn-hiding-on
   end if
   message "¥ Hiding is now" @hiding
   }

// Whatever key you like
f15
   {
   call toggle-hiding
   }