From 920a5b75efdfdcef6e1c2ec3765a1217c0f63a16 Mon Sep 17 00:00:00 2001
From: eiffel-org <eiffel-org@abb3cda0-5349-4a8f-a601-0c33ac3a8c38>
Date: Thu, 27 Jun 2024 10:51:45 +0000
Subject: [PATCH] Updated wikipage Converting EiffelVision 2 Systems to
 Void-Safety.	(Signed-off-by:roc_admin).

git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@2480 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
---
 .../converting-eiffelvision-2-systems-void-safety.wiki      | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/documentation/24.05/solutions/gui-building/eiffelvision-2/Vison2_howto/converting-eiffelvision-2-systems-void-safety.wiki b/documentation/24.05/solutions/gui-building/eiffelvision-2/Vison2_howto/converting-eiffelvision-2-systems-void-safety.wiki
index 9f7586a6..8905699c 100644
--- a/documentation/24.05/solutions/gui-building/eiffelvision-2/Vison2_howto/converting-eiffelvision-2-systems-void-safety.wiki
+++ b/documentation/24.05/solutions/gui-building/eiffelvision-2/Vison2_howto/converting-eiffelvision-2-systems-void-safety.wiki
@@ -1,9 +1,11 @@
+[[Property:modification_date|Thu, 27 Jun 2024 10:51:45 GMT]]
+[[Property:publication_date|Thu, 27 Jun 2024 10:51:45 GMT]]
 [[Property:title|Converting EiffelVision 2 Systems to Void-Safety]]
 [[Property:weight|1]]
 [[Property:uuid|96e01318-700b-da6e-42d1-14fee219daf5]]
 ==Introduction==
 
-In order to convert systems that employ EiffelVision 2 (Vision2) to [[Void-safe Programming in Eiffel|void-safety]], some adjustments may be needed depending on its usage.  This page describes the various usage scenarios of Vision2 that will need to be converted in order to adhere to void-safety.
+In order to convert systems that employ EiffelVision 2 (Vision2) to [[Void-safe programming in Eiffel|void-safety]], some adjustments may be needed depending on its usage.  This page describes the various usage scenarios of Vision2 that will need to be converted in order to adhere to void-safety.
 <!--break-->
 ==Inheritance Purely from an Interface Class==
 
@@ -82,5 +84,5 @@ The following steps are needed during the conversion:
 * Remove <eiffel>`make'</eiffel>, rename <eiffel>`initialize'</eiffel> to <eiffel>`make'</eiffel>, and make sure that any calls to Precursor do not override any settings set in <eiffel>`initialize'</eiffel>.  The ordering may need to be changed in order to make the code void-safe.  See <eiffel>EV_POPUP_WINDOW_IMP.make</eiffel> (Windows implementation) where the setting of <eiffel>`user_can_resize'</eiffel> is performed after the Precursor call so that is doesn't get overriden.
 
 
-{{SeeAlso|[[Void-Safe Programming in Eiffel]]}}
+{{SeeAlso|[[Void-safe programming in Eiffel]]}}