diff options
| author | Romain Guy <romainguy@google.com> | 2011-09-06 16:56:54 -0700 |
|---|---|---|
| committer | Romain Guy <romainguy@google.com> | 2011-09-06 17:01:05 -0700 |
| commit | f21c9b0f52d5a1de5050f90f0818467fad014eaa (patch) | |
| tree | 90b159f07d9958513d2422f976fb27c29dca3050 /core/java/android/view/WindowManager.java | |
| parent | 3b19b5ecc4ae05e90bf57ba88ef1e50a5dc63995 (diff) | |
Don't destroy a window's buffers when moving it
Change-Id: Ib08608373ae4299639c1b157421ba633e4293446
Diffstat (limited to 'core/java/android/view/WindowManager.java')
| -rw-r--r-- | core/java/android/view/WindowManager.java | 26 |
1 files changed, 15 insertions, 11 deletions
diff --git a/core/java/android/view/WindowManager.java b/core/java/android/view/WindowManager.java index fb31e7d8f205..96c151248fa8 100644 --- a/core/java/android/view/WindowManager.java +++ b/core/java/android/view/WindowManager.java @@ -1252,7 +1252,11 @@ public interface WindowManager extends ViewManager { public static final int INPUT_FEATURES_CHANGED = 1<<15; /** {@hide} */ public static final int PRIVATE_FLAGS_CHANGED = 1<<16; - + /** {@hide} */ + public static final int BUFFER_CHANGED = 1<<17; + /** {@hide} */ + public static final int EVERYTHING_CHANGED = 0xffffffff; + // internal buffer to backup/restore parameters under compatibility mode. private int[] mCompatibilityParamsBackup = null; @@ -1261,11 +1265,11 @@ public interface WindowManager extends ViewManager { if (width != o.width) { width = o.width; - changes |= LAYOUT_CHANGED; + changes |= LAYOUT_CHANGED | BUFFER_CHANGED; } if (height != o.height) { height = o.height; - changes |= LAYOUT_CHANGED; + changes |= LAYOUT_CHANGED | BUFFER_CHANGED; } if (x != o.x) { x = o.x; @@ -1277,19 +1281,19 @@ public interface WindowManager extends ViewManager { } if (horizontalWeight != o.horizontalWeight) { horizontalWeight = o.horizontalWeight; - changes |= LAYOUT_CHANGED; + changes |= LAYOUT_CHANGED | BUFFER_CHANGED; } if (verticalWeight != o.verticalWeight) { verticalWeight = o.verticalWeight; - changes |= LAYOUT_CHANGED; + changes |= LAYOUT_CHANGED | BUFFER_CHANGED; } if (horizontalMargin != o.horizontalMargin) { horizontalMargin = o.horizontalMargin; - changes |= LAYOUT_CHANGED; + changes |= LAYOUT_CHANGED | BUFFER_CHANGED; } if (verticalMargin != o.verticalMargin) { verticalMargin = o.verticalMargin; - changes |= LAYOUT_CHANGED; + changes |= LAYOUT_CHANGED | BUFFER_CHANGED; } if (type != o.type) { type = o.type; @@ -1297,7 +1301,7 @@ public interface WindowManager extends ViewManager { } if (flags != o.flags) { flags = o.flags; - changes |= FLAGS_CHANGED; + changes |= FLAGS_CHANGED | BUFFER_CHANGED; } if (privateFlags != o.privateFlags) { privateFlags = o.privateFlags; @@ -1309,11 +1313,11 @@ public interface WindowManager extends ViewManager { } if (gravity != o.gravity) { gravity = o.gravity; - changes |= LAYOUT_CHANGED; + changes |= LAYOUT_CHANGED | BUFFER_CHANGED; } if (format != o.format) { format = o.format; - changes |= FORMAT_CHANGED; + changes |= FORMAT_CHANGED | BUFFER_CHANGED; } if (windowAnimations != o.windowAnimations) { windowAnimations = o.windowAnimations; @@ -1352,7 +1356,7 @@ public interface WindowManager extends ViewManager { if (screenOrientation != o.screenOrientation) { screenOrientation = o.screenOrientation; - changes |= SCREEN_ORIENTATION_CHANGED; + changes |= SCREEN_ORIENTATION_CHANGED | BUFFER_CHANGED; } if (systemUiVisibility != o.systemUiVisibility |
