src/workspaces.c: use cached server pointer

diff --git a/src/workspaces.c b/src/workspaces.c
index d7036b8db19b0f6b1197e68c831cb06cd8868196..90614e5d0490c411349fd5c1eb303668189bf411 100644 (file)
--- a/src/workspaces.c
+++ b/src/workspaces.c
@@ -241,22 +241,23 @@ void
 workspaces_switch_to(struct workspace *target)
 {
        assert(target);
-       if (target == target->server->workspace_current) {
+       struct server *server = target->server;
+       if (target == server->workspace_current) {
                return;
        }
 
        /* Disable the old workspace */
        wlr_scene_node_set_enabled(
-               &target->server->workspace_current->tree->node, false);
+               &server->workspace_current->tree->node, false);
 
        /* Enable the new workspace */
        wlr_scene_node_set_enabled(&target->tree->node, true);
 
        /* Save the last visited workspace */
-       target->server->workspace_last = target->server->workspace_current;
+       server->workspace_last = server->workspace_current;
 
        /* Make sure new views will spawn on the new workspace */
-       target->server->workspace_current = target;
+       server->workspace_current = target;
 
        /**
         * Make sure we are focusing what the user sees.
@@ -267,7 +268,7 @@ workspaces_switch_to(struct workspace *target)
        desktop_focus_topmost_mapped_view(target->server);
 
        /* And finally show the OSD */
-       _osd_show(target->server);
+       _osd_show(server);
 }
 
 void