am 00801c36: am 4b817692: am 03e0ad01: am 91778264: am f7d45854: Altering the workspace padding to account for default widget padding (Bug 11116452)
* commit '00801c3609e605594a2409eb1d9fb258079b3a3a':
This commit is contained in: