[Bug 653499] New: Panel Setting-> Height indicates wrong pixel value when changing taskbar height