return viewport()->cursor().shape();
}
+
void GuiWorkArea::setCursorShape(Qt::CursorShape shape)
{
viewport()->setCursor(shape);
}
+
+void GuiWorkArea::updateCursorShape()
+{
+ setCursorShape(buffer_view_->clickableInset()
+ ? Qt::PointingHandCursor : Qt::IBeamCursor);
+}
+
+
void GuiWorkArea::setGuiView(GuiView & gv)
{
lyx_view_ = &gv;
if (update_metrics || lyx_view_ != guiApp->currentView()
|| lyx_view_->currentWorkArea() != this) {
// FIXME: it would be nice to optimize for the off-screen case.
+ buffer_view_->cursor().fixIfBroken();
buffer_view_->updateMetrics();
buffer_view_->cursor().fixIfBroken();
}
buffer_view_->coordCache().dump();
setReadOnly(buffer_view_->buffer().isReadonly());
+
+ updateCursorShape();
}
// Show the cursor immediately after any operation
startBlinkingCursor();
}
+
+ updateCursorShape();
}