Index: uspace/lib/wndmgt/src/wndmgt.c
===================================================================
--- uspace/lib/wndmgt/src/wndmgt.c	(revision 3a6d44b7107686f79a1655757bb73fedf182438b)
+++ uspace/lib/wndmgt/src/wndmgt.c	(revision 88d828ea8145b6317bdb4b2f22c2e10fea2fc086)
@@ -287,9 +287,10 @@
  *
  * @param wndmgt Window management session
- * @param seat_id Seat ID
+ * @param dev_id ID of input device belonging to seat whose
+ *               focus is to be switched
  * @param wnd_id Window ID
  * @return EOK on success or an error code
  */
-errno_t wndmgt_activate_window(wndmgt_t *wndmgt, sysarg_t seat_id,
+errno_t wndmgt_activate_window(wndmgt_t *wndmgt, sysarg_t dev_id,
     sysarg_t wnd_id)
 {
@@ -298,5 +299,5 @@
 
 	exch = async_exchange_begin(wndmgt->sess);
-	rc = async_req_2_0(exch, WNDMGT_ACTIVATE_WINDOW, seat_id,
+	rc = async_req_2_0(exch, WNDMGT_ACTIVATE_WINDOW, dev_id,
 	    wnd_id);
 
Index: uspace/lib/wndmgt/src/wndmgt_srv.c
===================================================================
--- uspace/lib/wndmgt/src/wndmgt_srv.c	(revision 3a6d44b7107686f79a1655757bb73fedf182438b)
+++ uspace/lib/wndmgt/src/wndmgt_srv.c	(revision 88d828ea8145b6317bdb4b2f22c2e10fea2fc086)
@@ -204,9 +204,9 @@
 static void wndmgt_activate_window_srv(wndmgt_srv_t *srv, ipc_call_t *icall)
 {
-	sysarg_t seat_id;
+	sysarg_t dev_id;
 	sysarg_t wnd_id;
 	errno_t rc;
 
-	seat_id = ipc_get_arg1(icall);
+	dev_id = ipc_get_arg1(icall);
 	wnd_id = ipc_get_arg2(icall);
 
@@ -216,5 +216,5 @@
 	}
 
-	rc = srv->ops->activate_window(srv->arg, seat_id, wnd_id);
+	rc = srv->ops->activate_window(srv->arg, dev_id, wnd_id);
 	async_answer_0(icall, rc);
 }