///
void setButtonLabel();
///
- virtual Color_color backgroundColor() const;
+ virtual ColorCode backgroundColor() const;
///
bool showInsetDialog(BufferView *) const;
///
virtual Inset * clone() const;
- /// used by the constructors
- void init();
///
InsetBranchParams params_;
};