tree 614471b7366bb7f560366d8ae818842f9d9cff11
parent 3057b1c259dafc555ff1eec32a9d2f7f81bb0bda
author Winson Chung <winsonc@google.com> 1381456635 -0700
committer Winson Chung <winsonc@google.com> 1381456635 -0700

Altering the workspace padding to account for default widget padding (Bug 11116452)