Project

General

Profile

Bug #3678 » 0004-Enable-setting-margin-on-element-to-0.patch

Bruce Toll, 11/25/2014 10:03 PM

View differences:

src/Wt/WWebWidget.C
1506 1506
  }
1507 1507

  
1508 1508
  if (layoutImpl_) {
1509
    if (flags_.test(BIT_MARGINS_CHANGED) || all) {
1510
      if (!all || (layoutImpl_->margin_[0].value() != 0))
1509
    bool changed = flags_.test(BIT_MARGINS_CHANGED);
1510
    if (changed || all) {
1511
      if (changed || (layoutImpl_->margin_[0].value() != 0))
1511 1512
	element.setProperty(PropertyStyleMarginTop,
1512 1513
			    layoutImpl_->margin_[0].cssText());
1513
      if (!all || (layoutImpl_->margin_[1].value() != 0))
1514
      if (changed || (layoutImpl_->margin_[1].value() != 0))
1514 1515
	element.setProperty(PropertyStyleMarginRight,
1515 1516
			    layoutImpl_->margin_[1].cssText());
1516
      if (!all || (layoutImpl_->margin_[2].value() != 0))
1517
      if (changed || (layoutImpl_->margin_[2].value() != 0))
1517 1518
	element.setProperty(PropertyStyleMarginBottom,
1518 1519
			    layoutImpl_->margin_[2].cssText());
1519
      if (!all || (layoutImpl_->margin_[3].value() != 0))
1520
      if (changed || (layoutImpl_->margin_[3].value() != 0))
1520 1521
	element.setProperty(PropertyStyleMarginLeft,
1521 1522
			    layoutImpl_->margin_[3].cssText());
1522 1523

  
1523
- 
(3-3/5)