Abdelrazak Younes wrote:
I have just fixed that. Very simple... I should look at the code before commenting... The former state was probably due to temporary debugging state from Andre :-)
i think that the positioning of the cursor is nicer with the attached (moves it 2 pixels to the right...)
Index: GuiWorkArea.C =================================================================== --- GuiWorkArea.C (revision 15537) +++ GuiWorkArea.C (working copy) @@ -599,7 +599,7 @@ void GuiWorkArea::showCursor(int x, int y, int h, CursorShape shape) { - cursor_->setGeometry(x, y, 2, h); + cursor_->setGeometry(x + 2, y, 2, h); cursor_->shape_ = shape; cursor_->on_ = true; cursor_->show();