diff options
author | Filip Gruszczynski <gruszczy@google.com> | 2015-10-05 19:48:05 +0000 |
---|---|---|
committer | Android (Google) Code Review <android-gerrit@google.com> | 2015-10-05 19:48:05 +0000 |
commit | 374abe11a07fe6c742a370da8445c250d908ef6f (patch) | |
tree | 7fcf9e0a920528b875bf0623e5818ae29e554349 | |
parent | 7ed9df290cea884289900a87b0d404b467d35869 (diff) | |
parent | e9512dfc03097170e0b1b7128935c6228b7d6464 (diff) |
Merge "Fix dock divider going under application windows."
-rw-r--r-- | services/core/java/com/android/server/wm/WindowManagerService.java | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/services/core/java/com/android/server/wm/WindowManagerService.java b/services/core/java/com/android/server/wm/WindowManagerService.java index cdc6bd695606..3cf8500d4f94 100644 --- a/services/core/java/com/android/server/wm/WindowManagerService.java +++ b/services/core/java/com/android/server/wm/WindowManagerService.java @@ -1153,7 +1153,9 @@ public class WindowManagerService extends IWindowManager.Stub int i; for (i = windows.size() - 1; i >= 0; --i) { WindowState w = windows.get(i); - if (w.mBaseLayer <= myLayer) { + // Dock divider shares the base layer with application windows, but we want to always + // keep it above the application windows. + if (w.mBaseLayer <= myLayer && w.mAttrs.type != TYPE_DOCK_DIVIDER) { break; } } |