*/
LyXText * text;
///
+ LyXText * getLyXText() const;
+ ///
int workWidth() const;
///
UpdatableInset * theLockingInset() const;
///
void pushIntoUpdateList(Inset * i);
+#if 0
///
void workAreaExpose();
///
void enterView();
///
void leaveView();
+#endif
///
bool ChangeRefs(string const & from, string const & to);
///
+ bool ChangeRefsIfUnique(string const & from, string const & to);
+ ///
void pasteClipboard(bool asPara);
///
void stuffClipboard(string const &) const;