[ref_impl_eiffel] [854] Adjust the layout of the Options dialog so that
Revision: 854
Author: peter.gummer
Date: 2009-03-22 01:43:36 +0000 (Sun, 22 Mar 2009)
Log Message:
-----------
Adjust the layout of the Options dialog so that all fields are fully
visible on Linux.
Modified Paths:
--------------
BRANCHES/specialisation/apps/adl_workbench/src/main/constants_imp.e
BRANCHES/specialisation/apps/adl_workbench/src/main/option_dialog_imp.e
BRANCHES/specialisation/apps/adl_workbench/src/main/system_interface.xml