+ bool delDatabase(docstring const &);
+ ///
+ void write(std::ostream &) const;
+
+ /// \name Public functions inherited from Inset class
+ //@{
+ ///
+ docstring toolTip(BufferView const & bv, int x, int y) const;
+ ///
+ bool hasSettings() const { return true; }