PR# 18596 Windows pointer style is not sticking during window movement

Problem Report Summary
Submitter: finnianr
Category: EiffelVision
Priority: Low
Date: 2013/05/15
Class: Bug
Severity: Non-critical
Number: 18596
Release: 7.2.9.1351
Confidential: No
Status: Analyzed
Responsible: misterieking
Environment: Windows 7, SDK 7.1
Synopsis: Windows pointer style is not sticking during window movement

Description
I have made a custom title bar for dialog windows. (Using EV_UNTITLED_DIALOG)
To allow the user to move the window around I have implemented some code with these actions.

title_bar.pointer_motion_actions.extend (agent on_pointer_motion)
title_bar.pointer_button_press_actions.extend (agent on_pointer_button_press)
title_bar.pointer_button_release_actions.extend (agent on_pointer_button_release)

When the left mouse button is pressed I change the window pointer style to a "hand grab" icon and set it back to standard on release.

This all works fine with GTK but in Windows the pointer style keeps reverting to the standard cursor if the user moves the cursor. 

This makes it necessary to set the "grab hand" with each pointer motion and this causes some undesirable screen flicker.
To Reproduce

										
Problem Report Interactions
From:manus_eiffel    Date:2013/05/15    Status: Analyzed    Download   
Thanks for the report. Windows overrides the cursor with its own as this is part of the operating system behavior for moving a window using its title bar. I believe you would have the same issue with resizing.

Nevertheless, we will try to prevent this behavior if a cursor/pointer was set by the user.

From:finnianr    Date:2013/05/15    Download   
code attached

Attachment: el_window_drag.e     Size:2315