зеркало из https://github.com/mozilla/gecko-dev.git
Bug 700006 - [layers] about:home show dead space [r=dougt]
This commit is contained in:
Родитель
4d875e7c06
Коммит
23d901b30b
|
@ -750,7 +750,14 @@ abstract public class GeckoApp
|
|||
final IntRect rect = new IntRect(message.getJSONObject("rect"));
|
||||
mSoftwareLayerClient.jsPanZoomCompleted(rect);
|
||||
} else if (event.equals("PanZoom:Resize")) {
|
||||
final IntSize size = new IntSize(message.getJSONObject("size"));
|
||||
IntSize size = new IntSize(message.getJSONObject("size"));
|
||||
int layoutWidth = mGeckoLayout.getMeasuredWidth();
|
||||
int layoutHeight = mGeckoLayout.getMeasuredHeight();
|
||||
// increase page size if smaller than layout dimensions
|
||||
if (size.width < layoutWidth || size.height < layoutHeight) {
|
||||
size = new IntSize(Math.max(size.width, layoutWidth),
|
||||
Math.max(size.height, layoutHeight));
|
||||
}
|
||||
mSoftwareLayerClient.setPageSize(size);
|
||||
} else if (event.equals("ToggleChrome:Hide")) {
|
||||
mMainHandler.post(new Runnable() {
|
||||
|
|
Загрузка…
Ссылка в новой задаче