PR# 19562 EiffelBuild Exception while editing SpinButton widget properties

Attached minmal EiffelBuild project StepTwo

Has window containing two spin buttons and ok/cancel.
I open the Display window to see how it looks like.
Renamed the three widgets,
Then tinkered with spin buttons, first resized minimums, next  at whim chose to tinker with "y" spin button. 
In the properties I see the field "Text", so in my naivety I started to type an "x".

Eiffelbuild throws a tantrum and an exception trace at me.

The Display window shows the "x" where I believe a numeric / number is expected.

As above.

We fixed the EiffelBuild editor issues from this report.
The corrections will be included in next release 19.11 (in November), and in upcoming beta release 19.08 .

Project StepThree is the above prior mentioned StepTwo further developed.

In one of the incident reports I mentioned that the compiled version had intermittent exceptions, which puzzled me at the time.

It has now become evident that when compiled as a classic target everything works fine.

But when compiled as a dot-net target the execution fails with some exception prior to displaying the application window.

This message has the EiffelStudio trace information and screenshots. Hope this helps in analyzing the issue.

Project files also included.

Additional question to my report 08/16/2019:

The Builder window shows the text field but does not display the widget type header. Did I miss an option to include that header? 

not part of the submission, but I added another new window widget containing a horizontal box itself containing some other widget and the headers are displayed within this same project.

EiffelBuild Add-on: after having had above problem with the SpinButton I tried a simple Text field to see if the problem shows up here too.

Yes, it does when entering the initial text into the Text box of the fields Properties.

Next I was just playing around and displayed the sample application window. Just for fun I typed in some characters.

To my big astonishment this text was retained as the initial value and reflected in the Properties Text box, not immediately, but when refreshing the properties for this widget. Is this by design or a side effect feature?

Next I tried do do the same with the Builder Window. When opening it presented the text, when attempting to modify this text it accepts one character and react with an exception.

EiffelBuild closed, then project re-opened. Again similar problem as described in earlier report, that EiffelBuild reacts with an exception during initial display of the project window. 

At the time of this writing the generated Eiffel code works without a fla
....
Output truncated, Click download to get the full message

This analysis of the error supersedes the above description. 

Please disregard all prior submitted files and work with this new EiffelBuild project and images.
The zip file contains the EiffelBuild project and the generated Eiffel application.

Steps in analysis:

1. Open the project CrashDebuggingPR#19562 by double clicking the bpr file.
2. You ought to observe a exception, matching "Uncaught Exception at start.png" with my trace in "Uncaught Exception at start.txt"
3. Ignore exception, presentation looks like "After ignoring exception before text change.png"
4. Using as sample first TEXT_FIELD "Mon" (Monday) as defined in "TEXT_FIELD Monday (heading).png"
5. I go and delete from the end n/o/M using the Back key. Then type X/X/X.
With each keypress there is an exception, the exceptions are copied over into file "exception trace while modyfing text.txt"
6. Result of field edit as in "TEXT_FIELD Monday (after).png"
7. Visual representation as in "After ignoring exception after text change.png"

....
Output truncated, Click download to get the full message

Attachments for problem report #19562