+// lyxerr << " creating deco " << key->name << std::endl;
+}
+
+
+auto_ptr<InsetBase> MathDecorationInset::clone() const
+{
+ return auto_ptr<InsetBase>(new MathDecorationInset(*this));
+}
+
+
+bool MathDecorationInset::upper() const
+{
+ return key_->name.substr(0, 5) != "under";
+}
+
+
+bool MathDecorationInset::isScriptable() const
+{
+ return
+ key_->name == "overbrace" ||
+ key_->name == "underbrace" ||
+ key_->name == "overleftarrow" ||
+ key_->name == "overrightarrow" ||
+ key_->name == "overleftrightarrow" ||
+ key_->name == "underleftarrow" ||
+ key_->name == "underrightarrow" ||
+ key_->name == "underleftrightarrow";