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