On Thu, May 22, 2014 at 10:41:34PM +0200, Jonny Lamb wrote:
Patch applied.
Kristian
> ---
> desktop-shell/shell.c | 6 +++---
> 1 file changed, 3 insertions(+), 3 deletions(-)
>
> diff --git a/desktop-shell/shell.c b/desktop-shell/shell.c
> index 51683ee..a5886d7 100644
> --- a/desktop-shell/s
---
desktop-shell/shell.c | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/desktop-shell/shell.c b/desktop-shell/shell.c
index 51683ee..a5886d7 100644
--- a/desktop-shell/shell.c
+++ b/desktop-shell/shell.c
@@ -911,21 +911,21 @@ animate_focus_change(struct desktop_shell *s