Index: uspace/lib/wndmgt/include/wndmgt.h
===================================================================
--- uspace/lib/wndmgt/include/wndmgt.h	(revision f1f433d10ab8dfdc792a9cdc8807b76dbcfac663)
+++ uspace/lib/wndmgt/include/wndmgt.h	(revision 88d828ea8145b6317bdb4b2f22c2e10fea2fc086)
@@ -47,5 +47,5 @@
     wndmgt_window_info_t **);
 extern void wndmgt_free_window_info(wndmgt_window_info_t *);
-extern errno_t wndmgt_activate_window(wndmgt_t *, sysarg_t);
+extern errno_t wndmgt_activate_window(wndmgt_t *, sysarg_t, sysarg_t);
 extern errno_t wndmgt_close_window(wndmgt_t *, sysarg_t);
 
Index: uspace/lib/wndmgt/include/wndmgt_srv.h
===================================================================
--- uspace/lib/wndmgt/include/wndmgt_srv.h	(revision f1f433d10ab8dfdc792a9cdc8807b76dbcfac663)
+++ uspace/lib/wndmgt/include/wndmgt_srv.h	(revision 88d828ea8145b6317bdb4b2f22c2e10fea2fc086)
@@ -52,5 +52,5 @@
 	errno_t (*get_window_list)(void *, wndmgt_window_list_t **);
 	errno_t (*get_window_info)(void *, sysarg_t, wndmgt_window_info_t **);
-	errno_t (*activate_window)(void *, sysarg_t);
+	errno_t (*activate_window)(void *, sysarg_t, sysarg_t);
 	errno_t (*close_window)(void *, sysarg_t);
 	errno_t (*get_event)(void *, wndmgt_ev_t *);
