indexing description: "Objects that represent an EV_DIALOG.% %The original version of this class was generated by EiffelBuild." author: "" date: "$Date$" revision: "$Revision$" deferred class DOCUMENT_WIDGET_IMP inherit -- MULTIPLE_SPLIT_AREA ---- rename ---- border_width as border_width_box, ---- padding_width as padding_width_box -- redefine -- initialize, is_in_default_state -- end EV_VERTICAL_SPLIT_AREA redefine initialize, is_in_default_state end CONSTANTS undefine is_equal, default_create, copy end -- This class is the implementation of an EV_DIALOG generated by EiffelBuild. -- You should not modify this code by hand, as it will be re-generated every time -- modifications are made to the project. feature {NONE}-- Initialization initialize is -- Initialize `Current'. do --Precursor {MULTIPLE_SPLIT_AREA} Precursor {EV_VERTICAL_SPLIT_AREA} initialize_constants -- Call `user_initialization'. user_initialization end feature {NONE} -- Implementation is_in_default_state: BOOLEAN is -- Is `Current' in its default state? do -- Re-implement if you wish to enable checking -- for `Current'. Result := True end user_initialization is -- Feature for custom initialization, called at end of `initialize'. deferred end end -- class DOCUMENT_WIDGET_IMP