1. 07 Jul, 2014 8 commits
  2. 05 Jul, 2014 1 commit
  3. 03 Jul, 2014 4 commits
  4. 01 Jul, 2014 8 commits
  5. 27 Jun, 2014 7 commits
  6. 26 Jun, 2014 9 commits
  7. 25 Jun, 2014 1 commit
  8. 24 Jun, 2014 2 commits
    • Florian Müllner's avatar
      Bump version to 3.13.3 · 97f2de37
      Florian Müllner authored
      Update NEWS.
      97f2de37
    • Florian Müllner's avatar
      window: Add user_op parameter to update_monitor() · 967b6c33
      Florian Müllner authored
      When workspaces-only-on-primary is set and a window is moved back to the
      primary, we also move it to the active workspace to avoid the confusion
      of a visible window suddenly disappearing when crossing the monitor border.
      However when the window is not actually moved by the user, preserving the
      workspace makes more sense - we already do this in some cases (e.g. when
      moving between primary monitors), but miss others (unplugging the previous
      monitor); just add an explicit user_op parameter as used elsewhere to cover
      all exceptions.
      
      https://bugzilla.gnome.org/show_bug.cgi?id=731760
      967b6c33