void InsetMinipage::pos(InsetMinipage::Position p)
{
- pos_ = p;
+ if (pos_ != p) {
+ pos_ = p;
+ need_update = FULL;
+ }
}
void InsetMinipage::height(string const & ll)
{
- height_ = ll;
+ if (height_ != ll) {
+ height_ = ll;
+ need_update = FULL;
+ }
}
void InsetMinipage::width(string const & ll)
{
- width_ = ll;
+ if (ll != width_) {
+ width_ = ll;
+ need_update = FULL;
+ }
}