From eadfec75a41c4460a9f503690e489c5f0b3cd131 Mon Sep 17 00:00:00 2001
From: Nicholas Hastings <nshastings@gmail.com>
Date: Tue, 27 Jan 2015 18:03:24 -0800
Subject: [PATCH] Make TopMenuHandler pass topmeut as TopMenu instead of
 Handle.

---
 plugins/include/topmenus.inc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/plugins/include/topmenus.inc b/plugins/include/topmenus.inc
index 817dec51..ed54d2ce 100644
--- a/plugins/include/topmenus.inc
+++ b/plugins/include/topmenus.inc
@@ -128,7 +128,7 @@ enum TopMenuObject:
  * @noreturn
  */
 typedef TopMenuHandler = function void (
-  Handle topmenu, 
+  TopMenu topmenu, 
   TopMenuAction action,
   TopMenuObject topobj_id,
   int param,