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();