using std::string;
using std::istringstream;
-using std::ostream;
using std::ostringstream;
{
if (updateButtonLabel_) {
updateButtonLabel_ = false;
- button_.update(getScreenLabel(*mi.base.bv->buffer()),
+ button_.update(getScreenLabel(mi.base.bv->buffer()),
editable() != NOT_EDITABLE);
}
button_.metrics(mi, dim);