PR# 5146 EV_SPLIT_AREA_I.disable_flat_separator

In class EV_SPLIT_AREA_I we now have:

	enable_flat_separator is
			-- Set the separator to be "flat"
		obsolete "All split areas are now flat by default."
		do
		end

	disable_flat_separator is
			-- Set the separator to be "raised"
		obsolete "All split areas are now flat by default."
		do
		end

How do we do to override this default and get "raised" separators the way it used to work in 5.6.0723?

==== Julian: Tue Jul 12 10:06:16 PDT 2005 ===============================

We have decided not to support rounded separators anymore and switch to
all split areas being flat by default. It seems that most applications
these days use flat separators.

If you really wish to have rounded separators, you can continue to
use our old implementation, but it is something that we do not plan to
support any longer.

==== Julian: Tue Jul 12 10:06:16 PDT 2005 ===============================
From: "Eric Bezault" <ebezault@axarosenberg.com>
To: <bugs@support.eiffel.com>
Cc: 
Subject: RE: EiffelVision_2/5146: EV_SPLIT_AREA_I.disable_flat_separator
Date: Tue, 12 Jul 2005 10:21:17 -0700

 > We have decided not to support rounded separators anymore and=20
 > switch to
 > all split areas being flat by default.
 
 Having flat separators "by default" is one thing.
 Not supporting rounded separators anymore (not
 providing an option that overrides the default)
 is quite different.
 
 > It seems that most applications
 > these days
....
Output truncated, Click download to get the full message