Removed postcondition to `has' which was a duplicate of the inherited one


git-svn-id: https://svn.eiffel.com/eiffelstudio/trunk@95060 8089f293-4706-0410-a29e-feb5c42a2edf
Removed the `then' part in the `ensure then' clause of the postcondition of `has' which does not need it since this feature is being introduced in READABLE_STRING_8.


git-svn-id: https://svn.eiffel.com/eiffelstudio/trunk@95061 8089f293-4706-0410-a29e-feb5c42a2edf
Fixed bug#18716 where if a menu entry is of the form `my_entry' it will remove the `_' and make the `e' an underlined letter. The issue is that on GTK we need to replace _ by __ and the & by _.
Updated `real_text' computation to use an Eiffel string rather than keeping a C string.


git-svn-id: https://svn.eiffel.com/eiffelstudio/trunk@95062 8089f293-4706-0410-a29e-feb5c42a2edf
Recorded errors about missing type in local declaration instead of reporting them immediately to be able to associate fix options by inferring missing types.
Moved reporting of missing type in local declaration to local type resolution where it should be possible to suggest inferred types.


git-svn-id: https://svn.eiffel.com/eiffelstudio/trunk@95063 8089f293-4706-0410-a29e-feb5c42a2edf
Improved single-line error message.

git-svn-id: https://svn.eiffel.com/eiffelstudio/trunk@95064 8089f293-4706-0410-a29e-feb5c42a2edf
Corrected computation of the position for local variable declaration without a type.

git-svn-id: https://svn.eiffel.com/eiffelstudio/trunk@95065 8089f293-4706-0410-a29e-feb5c42a2edf
Removed explicit tuple creation.

git-svn-id: https://svn.eiffel.com/eiffelstudio/trunk@95066 8089f293-4706-0410-a29e-feb5c42a2edf
Update ESA API
Update CORS filters to suport Access-Control-Allow-Origin *
Update CJ home.

git-svn-id: https://svn.eiffel.com/eiffelstudio/trunk@95067 8089f293-4706-0410-a29e-feb5c42a2edf
Fixed previous commit that did not compile in void-safe mode.


git-svn-id: https://svn.eiffel.com/eiffelstudio/trunk@95068 8089f293-4706-0410-a29e-feb5c42a2edf
Update
Logging raw_header_data if it's available.

git-svn-id: https://svn.eiffel.com/eiffelstudio/trunk@95069 8089f293-4706-0410-a29e-feb5c42a2edf
Avoided a crash if type inference causes an exception by reporting detected missing type declarations.
Avoided forced type computation if it is already dobe because of the type inference iteration limit.
Disabled code generation if types are inferred because they will be reported as fix options to missing type declaration errors.
Fixed a bug that might cause reporting a missing type error multiple times even when only one local was affected.
Changed error reporting to avoid duplicate error reports for the variables that belong to the same local declaration list.


git-svn-id: https://svn.eiffel.com/eiffelstudio/trunk@95070 8089f293-4706-0410-a29e-feb5c42a2edf
Added more features to enumerate windows using either a WEL_WINDOW or a HWND, and the ability to enumerate all windows, not just a child window.


git-svn-id: https://svn.eiffel.com/eiffelstudio/trunk@95071 8089f293-4706-0410-a29e-feb5c42a2edf
Added `hwnd_parent' to get the parent of a standard dialog by symetry to setting it when dialog is activated.


git-svn-id: https://svn.eiffel.com/eiffelstudio/trunk@95072 8089f293-4706-0410-a29e-feb5c42a2edf
Added `GetWindow' and `FindWindowEx' wrapper.


git-svn-id: https://svn.eiffel.com/eiffelstudio/trunk@95073 8089f293-4706-0410-a29e-feb5c42a2edf
Fixed autotest#TEST_EV_STANDARD_DIALOG and bug#18877 where if you call destroy on a dialog after closing it, it will violate its postcondition on Windows. We fixed this by ensuring that in addition of the WEL call to release the dialog structure we also call the Vision2 destroy routine.
To implement autotest#TEST_EV_STANDARD_DIALOG automatically, we added {EV_STANDARD_DIALOG}.hide which is already implemented on GTK and on Windows, is implemented by iterating through all windows and find the dialog window and sending a WM_CLOSE message.

git-svn-id: https://svn.eiffel.com/eiffelstudio/trunk@95074 8089f293-4706-0410-a29e-feb5c42a2edf
Protected the invariant with is_usable as `file_paths' cannot be called once it is destroyed.


git-svn-id: https://svn.eiffel.com/eiffelstudio/trunk@95075 8089f293-4706-0410-a29e-feb5c42a2edf
Added new test which for now checks the invariants/postconditions of showing/hiding a standard dialog.


git-svn-id: https://svn.eiffel.com/eiffelstudio/trunk@95076 8089f293-4706-0410-a29e-feb5c42a2edf
Formatting.


git-svn-id: https://svn.eiffel.com/eiffelstudio/trunk@95077 8089f293-4706-0410-a29e-feb5c42a2edf
Fixed a bug in `routine_from_ids' where calling `cl.feature_with_body_index (body_index)' without checking that `cl' has a feature table would violate the precondition and in finalized mode cause a call on Void target. To reproduce this open (no recompile yet) from scratch a project that had been previously compiled with some breakpoints set. Then when you exit it would fail.


git-svn-id: https://svn.eiffel.com/eiffelstudio/trunk@95078 8089f293-4706-0410-a29e-feb5c42a2edf
Made the mini-toolbar button of the groups panel sensitive as soon as the project is created. This is ok because they have an internal protection and will either do nothing or popup a dialog if it is not possible. This allows us for example to search for a class in the tree view as soon as degree 6 is completed.


git-svn-id: https://svn.eiffel.com/eiffelstudio/trunk@95079 8089f293-4706-0410-a29e-feb5c42a2edf