git.sur5r.net Git - i3/i3/blob - src/move.c

   1 /*
   2  * vim:ts=4:sw=4:expandtab
   3  *
   4  * i3 - an improved dynamic tiling window manager
   5  * © 2009 Michael Stapelberg and contributors (see also: LICENSE)
   6  *
   7  * move.c: Moving containers into some direction.
   8  *
   9  */
  10 #include "all.h"
  11
  12 /*
  13  * Returns the lowest container in the tree that has both a and b as descendants.
  14  *
  15  */
  16 static Con *lowest_common_ancestor(Con *a, Con *b) {
  17     Con *parent_a = a;
  18     while (parent_a) {
  19         Con *parent_b = b;
  20         while (parent_b) {
  21             if (parent_a == parent_b) {
  22                 return parent_a;
  23             }
  24             parent_b = parent_b->parent;
  25         }
  26         parent_a = parent_a->parent;
  27     }
  28     assert(false);
  29 }
  30
  31 /*
  32  * Returns the direct child of ancestor that contains con.
  33  *
  34  */
  35 static Con *child_containing_con_recursively(Con *ancestor, Con *con) {
  36     Con *child = con;
  37     while (child && child->parent != ancestor) {
  38         child = child->parent;
  39         assert(child->parent);
  40     }
  41     return child;
  42 }
  43
  44 /*
  45  * Returns true if the given container is the focused descendant of ancestor, recursively.
  46  *
  47  */
  48 static bool is_focused_descendant(Con *con, Con *ancestor) {
  49     Con *current = con;
  50     while (current != ancestor) {
  51         if (TAILQ_FIRST(&(current->parent->focus_head)) != current) {
  52             return false;
  53         }
  54         current = current->parent;
  55         assert(current->parent);
  56     }
  57     return true;
  58 }
  59
  60 /*
  61  * This function detaches 'con' from its parent and inserts it either before or
  62  * after 'target'.
  63  *
  64  */
  65 void insert_con_into(Con *con, Con *target, position_t position) {
  66     Con *parent = target->parent;
  67     /* We need to preserve the old con->parent. While it might still be used to
  68      * insert the entry before/after it, we call the on_remove_child callback
  69      * afterwards which might then close the con if it is empty. */
  70     Con *old_parent = con->parent;
  71
  72     /* We compare the focus order of the children of the lowest common ancestor. If con or
  73      * its ancestor is before target's ancestor then con should be placed before the target
  74      * in the focus stack. */
  75     Con *lca = lowest_common_ancestor(con, parent);
  76     if (lca == con) {
  77         ELOG("Container is being inserted into one of its descendants.\n");
  78         return;
  79     }
  80
  81     Con *con_ancestor = child_containing_con_recursively(lca, con);
  82     Con *target_ancestor = child_containing_con_recursively(lca, target);
  83     bool moves_focus_from_ancestor = is_focused_descendant(con, con_ancestor);
  84     bool focus_before;
  85
  86     /* Determine if con is going to be placed before or after target in the parent's focus stack. */
  87     if (con_ancestor == target_ancestor) {
  88         /* Happens when the target is con's old parent. Eg with layout V [ A H [ B C ] ],
  89          * if we move C up. Target will be H. */
  90         focus_before = moves_focus_from_ancestor;
  91     } else {
  92         /* Look at the focus stack order of the children of the lowest common ancestor. */
  93         Con *current;
  94         TAILQ_FOREACH(current, &(lca->focus_head), focused) {
  95             if (current == con_ancestor || current == target_ancestor) {
  96                 break;
  97             }
  98         }
  99         focus_before = (current == con_ancestor);
 100     }
 101
 102     /* If con is the focused container in our old ancestor we place the new ancestor
 103      * before the old ancestor in the focus stack. Example:
 104      * Consider the layout [ H [ V1 [ A* B ] V2 [ C ] ] ] where A is focused. We move to
 105      * a second workspace and from there we move A to the right and switch back to the
 106      * original workspace. Without the change focus would move to B instead of staying
 107      * with A. */
 108     if (moves_focus_from_ancestor && focus_before) {
 109         Con *place = TAILQ_PREV(con_ancestor, focus_head, focused);
 110         TAILQ_REMOVE(&(lca->focus_head), target_ancestor, focused);
 111         if (place) {
 112             TAILQ_INSERT_AFTER(&(lca->focus_head), place, target_ancestor, focused);
 113         } else {
 114             TAILQ_INSERT_HEAD(&(lca->focus_head), target_ancestor, focused);
 115         }
 116     }
 117
 118     con_detach(con);
 119     con_fix_percent(con->parent);
 120
 121     /* When moving to a workspace, we respect the user’s configured
 122      * workspace_layout */
 123     if (parent->type == CT_WORKSPACE) {
 124         Con *split = workspace_attach_to(parent);
 125         if (split != parent) {
 126             DLOG("Got a new split con, using that one instead\n");
 127             con->parent = split;
 128             con_attach(con, split, false);
 129             DLOG("attached\n");
 130             con->percent = 0.0;
 131             con_fix_percent(split);
 132             con = split;
 133             DLOG("ok, continuing with con %p instead\n", con);
 134             con_detach(con);
 135         }
 136     }
 137
 138     con->parent = parent;
 139
 140     if (parent == lca) {
 141         if (focus_before) {
 142             /* Example layout: H [ A B* ], we move A up/down. 'target' will be H. */
 143             TAILQ_INSERT_BEFORE(target, con, focused);
 144         } else {
 145             /* Example layout: H [ A B* ], we move A up/down. 'target' will be H. */
 146             TAILQ_INSERT_AFTER(&(parent->focus_head), target, con, focused);
 147         }
 148     } else {
 149         if (focus_before) {
 150             /* Example layout: V [ H [ A B ] C* ], we move C up. 'target' will be A. */
 151             TAILQ_INSERT_HEAD(&(parent->focus_head), con, focused);
 152         } else {
 153             /* Example layout: V [ H [ A* B ] C ], we move C up. 'target' will be A. */
 154             TAILQ_INSERT_TAIL(&(parent->focus_head), con, focused);
 155         }
 156     }
 157
 158     if (position == BEFORE) {
 159         TAILQ_INSERT_BEFORE(target, con, nodes);
 160     } else if (position == AFTER) {
 161         TAILQ_INSERT_AFTER(&(parent->nodes_head), target, con, nodes);
 162     }
 163
 164     /* Pretend the con was just opened with regards to size percent values.
 165      * Since the con is moved to a completely different con, the old value
 166      * does not make sense anyways. */
 167     con->percent = 0.0;
 168     con_fix_percent(parent);
 169
 170     CALL(old_parent, on_remove_child);
 171 }
 172
 173 /*
 174  * This function detaches 'con' from its parent and puts it in the given
 175  * workspace. Position is determined by the direction of movement into the
 176  * workspace container.
 177  *
 178  */
 179 static void attach_to_workspace(Con *con, Con *ws, direction_t direction) {
 180     con_detach(con);
 181     Con *old_parent = con->parent;
 182     con->parent = ws;
 183
 184     if (direction == D_RIGHT || direction == D_DOWN) {
 185         TAILQ_INSERT_HEAD(&(ws->nodes_head), con, nodes);
 186     } else {
 187         TAILQ_INSERT_TAIL(&(ws->nodes_head), con, nodes);
 188     }
 189     TAILQ_INSERT_TAIL(&(ws->focus_head), con, focused);
 190
 191     /* Pretend the con was just opened with regards to size percent values.
 192      * Since the con is moved to a completely different con, the old value
 193      * does not make sense anyways. */
 194     con->percent = 0.0;
 195     con_fix_percent(ws);
 196
 197     con_fix_percent(old_parent);
 198     CALL(old_parent, on_remove_child);
 199 }
 200
 201 /*
 202  * Moves the given container to the closest output in the given direction if
 203  * such an output exists.
 204  *
 205  */
 206 static void move_to_output_directed(Con *con, direction_t direction) {
 207     Output *current_output = get_output_for_con(con);
 208     Output *output = get_output_next(direction, current_output, CLOSEST_OUTPUT);
 209
 210     if (!output) {
 211         DLOG("No output in this direction found. Not moving.\n");
 212         return;
 213     }
 214
 215     Con *ws = NULL;
 216     GREP_FIRST(ws, output_get_content(output->con), workspace_is_visible(child));
 217
 218     if (!ws) {
 219         DLOG("No workspace on output in this direction found. Not moving.\n");
 220         return;
 221     }
 222
 223     Con *old_ws = con_get_workspace(con);
 224     const bool moves_focus = (focused == con);
 225     attach_to_workspace(con, ws, direction);
 226     if (moves_focus) {
 227         /* workspace_show will not correctly update the active workspace because
 228          * the focused container, con, is now a child of ws. To work around this
 229          * and still produce the correct workspace focus events (see
 230          * 517-regress-move-direction-ipc.t) we need to temporarily set focused
 231          * to the old workspace. */
 232         focused = old_ws;
 233         workspace_show(ws);
 234         con_focus(con);
 235     }
 236
 237     /* force re-painting the indicators */
 238     FREE(con->deco_render_params);
 239
 240     tree_flatten(croot);
 241     ipc_send_window_event("move", con);
 242     ewmh_update_wm_desktop();
 243 }
 244
 245 /*
 246  * Moves the given container in the given direction (D_LEFT, D_RIGHT,
 247  * D_UP, D_DOWN).
 248  *
 249  */
 250 void tree_move(Con *con, int direction) {
 251     position_t position;
 252     Con *target;
 253
 254     DLOG("Moving in direction %d\n", direction);
 255
 256     /* 1: get the first parent with the same orientation */
 257
 258     if (con->type == CT_WORKSPACE) {
 259         DLOG("Not moving workspace\n");
 260         return;
 261     }
 262
 263     if (con->fullscreen_mode == CF_GLOBAL) {
 264         DLOG("Not moving fullscreen global container\n");
 265         return;
 266     }
 267
 268     if ((con->fullscreen_mode == CF_OUTPUT) ||
 269         (con->parent->type == CT_WORKSPACE && con_num_children(con->parent) == 1)) {
 270         /* This is the only con on this workspace */
 271         move_to_output_directed(con, direction);
 272         return;
 273     }
 274
 275     orientation_t o = orientation_from_direction(direction);
 276
 277     Con *same_orientation = con_parent_with_orientation(con, o);
 278     /* The do {} while is used to 'restart' at this point with a different
 279      * same_orientation, see the very last lines before the end of this block
 280      * */
 281     do {
 282         /* There is no parent container with the same orientation */
 283         if (!same_orientation) {
 284             if (con_is_floating(con)) {
 285                 /* this is a floating con, we just disable floating */
 286                 floating_disable(con, true);
 287                 return;
 288             }
 289             if (con_inside_floating(con)) {
 290                 /* 'con' should be moved out of a floating container */
 291                 DLOG("Inside floating, moving to workspace\n");
 292                 attach_to_workspace(con, con_get_workspace(con), direction);
 293                 goto end;
 294             }
 295             DLOG("Force-changing orientation\n");
 296             ws_force_orientation(con_get_workspace(con), o);
 297             same_orientation = con_parent_with_orientation(con, o);
 298         }
 299
 300         /* easy case: the move is within this container */
 301         if (same_orientation == con->parent) {
 302             Con *swap = (direction == D_LEFT || direction == D_UP)
 303                             ? TAILQ_PREV(con, nodes_head, nodes)
 304                             : TAILQ_NEXT(con, nodes);
 305             if (swap) {
 306                 if (!con_is_leaf(swap)) {
 307                     DLOG("Moving into our bordering branch\n");
 308                     target = con_descend_direction(swap, direction);
 309                     position = (con_orientation(target->parent) != o ||
 310                                         direction == D_UP ||
 311                                         direction == D_LEFT
 312                                     ? AFTER
 313                                     : BEFORE);
 314                     insert_con_into(con, target, position);
 315                     goto end;
 316                 }
 317
 318                 DLOG("Swapping with sibling.\n");
 319                 if (direction == D_LEFT || direction == D_UP) {
 320                     TAILQ_SWAP(swap, con, &(swap->parent->nodes_head), nodes);
 321                 } else {
 322                     TAILQ_SWAP(con, swap, &(swap->parent->nodes_head), nodes);
 323                 }
 324
 325                 ipc_send_window_event("move", con);
 326                 return;
 327             }
 328
 329             if (con->parent == con_get_workspace(con)) {
 330                 /* If we couldn't find a place to move it on this workspace, try
 331                  * to move it to a workspace on a different output */
 332                 move_to_output_directed(con, direction);
 333                 return;
 334             }
 335
 336             /* If there was no con with which we could swap the current one,
 337              * search again, but starting one level higher. */
 338             same_orientation = con_parent_with_orientation(con->parent, o);
 339         }
 340     } while (same_orientation == NULL);
 341
 342     /* this time, we have to move to another container */
 343     /* This is the container *above* 'con' (an ancestor of con) which is inside
 344      * 'same_orientation' */
 345     Con *above = con;
 346     while (above->parent != same_orientation)
 347         above = above->parent;
 348
 349     /* Enforce the fullscreen focus restrictions. */
 350     if (!con_fullscreen_permits_focusing(above->parent)) {
 351         LOG("Cannot move out of fullscreen container\n");
 352         return;
 353     }
 354
 355     DLOG("above = %p\n", above);
 356
 357     Con *next = (direction == D_UP || direction == D_LEFT ? TAILQ_PREV(above, nodes_head, nodes) : TAILQ_NEXT(above, nodes));
 358
 359     if (next && !con_is_leaf(next)) {
 360         DLOG("Moving into the bordering branch of our adjacent container\n");
 361         target = con_descend_direction(next, direction);
 362         position = (con_orientation(target->parent) != o ||
 363                             direction == D_UP ||
 364                             direction == D_LEFT
 365                         ? AFTER
 366                         : BEFORE);
 367         insert_con_into(con, target, position);
 368     } else if (!next &&
 369                con->parent->parent->type == CT_WORKSPACE &&
 370                con->parent->layout != L_DEFAULT &&
 371                con_num_children(con->parent) == 1) {
 372         /* Con is the lone child of a non-default layout container at the edge
 373          * of the workspace. Treat it as though the workspace is its parent
 374          * and move it to the next output. */
 375         DLOG("Grandparent is workspace\n");
 376         move_to_output_directed(con, direction);
 377         return;
 378     } else {
 379         DLOG("Moving into container above\n");
 380         position = (direction == D_UP || direction == D_LEFT ? BEFORE : AFTER);
 381         insert_con_into(con, above, position);
 382     }
 383
 384 end:
 385     /* force re-painting the indicators */
 386     FREE(con->deco_render_params);
 387
 388     tree_flatten(croot);
 389     ipc_send_window_event("move", con);
 390     ewmh_update_wm_desktop();
 391 }