+ ///
+ bool isOpen() const { return !collapsed_; }
+ ///
+ void open(BufferView *);
+ ///
+ void close(BufferView *) const;
+ ///
+ bool allowSpellcheck() { return inset.allowSpellcheck(); }
+ string const selectNextWordToSpellcheck(BufferView *, float &) const;
+
+ void selectSelectedWord(BufferView * bv) {
+ inset.selectSelectedWord(bv);
+ }
+ void toggleSelection(BufferView * bv, bool kill_selection) {
+ inset.toggleSelection(bv, kill_selection);
+ }
+ ///
+ bool searchForward(BufferView * bv, string const & str,
+ bool = true, bool = false);
+ bool searchBackward(BufferView * bv, string const & str,
+ bool = true, bool = false);