// the width can only be selected for makebox or framebox
widthCB->setEnabled(itype == "makebox"
|| (outer == "Boxed" && itype == "none"));
- widthCB->setChecked(itype != "none" && !widthCB->isEnabled());
+ widthCB->setChecked(!widthED->text().isEmpty());
// except for frameless and boxed, the width cannot be specified if
// there is no inner box
bool const width_enabled =
lengthToWidgets(widthED, widthUnitsLC,
params.width, default_unit);
} else {
- if (widthCB->isEnabled())
- widthCB->setChecked(true);
+ widthCB->setChecked(true);
lengthToWidgets(widthED, widthUnitsLC,
params.width, default_unit);
QString const special = toqstr(params.special);
os << "\\begin{framed}%\n";
break;
case Boxed:
- if (width_string.empty()) {
- os << "\\framebox";
+ if (!width_string.empty()) {
if (!params_.inner_box) {
+ os << "\\framebox";
// Special widths, see usrguide sec. 3.5
// FIXME UNICODE
if (params_.special != "none") {
<< ']';
if (params_.hor_pos != 'c')
os << "[" << params_.hor_pos << "]";
- }
+ } else
+ os << "\\fbox";
} else
os << "\\fbox";
os << "{";