- InsetFloatList(string const & type);
- ///
- Inset * clone(Buffer const &, bool = false) const {
- return new InsetFloatList(getCmdName());
- }
- ///
- string const getScreenLabel(Buffer const *) const;
- ///
- void edit(BufferView * bv, int, int, unsigned int);