///
extern void changeDepth(BufferView *, LyXText *, int);
///
-extern void Free(BufferView *);
-///
extern void ProhibitInput(BufferView *);
///
extern void AllowInput(BufferView *);
/// Returns the current font and depth as a message.
extern string const CurrentState(BufferView *);
///
-extern void ToggleAndShow(BufferView *, LyXFont const &);
+extern void ToggleAndShow(BufferView *, LyXFont const &, bool toggleall=true);
#endif