}
+void GuiWorkArea::focusInEvent(QFocusEvent * /*event*/)
+{
+ startBlinkingCursor();
+}
+
+
+void GuiWorkArea::focusOutEvent(QFocusEvent * /*event*/)
+{
+ stopBlinkingCursor();
+}
+
+
void GuiWorkArea::mousePressEvent(QMouseEvent * e)
{
if (dc_event_.active && dc_event_ == *e) {
void dragEnterEvent(QDragEnterEvent * ev);
///
void dropEvent(QDropEvent * ev);
+ ///
+ void focusInEvent(QFocusEvent *);
+ ///
+ void focusOutEvent(QFocusEvent *);
/// repaint part of the widget
void paintEvent(QPaintEvent * ev);
/// widget has been resized