From 2fb0d73439b8578820361e13fa2e1a6e576dc003 Mon Sep 17 00:00:00 2001
From: severin <muengers@student.ethz.ch>
Date: Fri, 10 Jan 2014 15:32:05 +0100
Subject: [PATCH] Added ability to form element to get value (for
 convenience/completion)

---
 .../kernel/webcontrol/wsf_form_element_control.e      | 11 +++++++++--
 1 file changed, 9 insertions(+), 2 deletions(-)

diff --git a/draft/library/wsf_js_widget/kernel/webcontrol/wsf_form_element_control.e b/draft/library/wsf_js_widget/kernel/webcontrol/wsf_form_element_control.e
index 194863d0..9cbbd50a 100644
--- a/draft/library/wsf_js_widget/kernel/webcontrol/wsf_form_element_control.e
+++ b/draft/library/wsf_js_widget/kernel/webcontrol/wsf_form_element_control.e
@@ -56,7 +56,7 @@ feature {NONE} -- Initialization
 			error := ""
 		end
 
-feature
+feature -- Modify
 
 	set_label_width (w: INTEGER)
 			-- Set the label span (a value between 1 and 12 to specify the bootstrap column span or 0 for not displaying the label)
@@ -64,6 +64,13 @@ feature
 			label_width := w
 		end
 
+feature -- Access
+
+	value: G
+		do
+			Result := value_control.value
+		end
+
 feature {WSF_PAGE_CONTROL, WSF_CONTROL} -- State management
 
 	load_state (new_states: JSON_OBJECT)
@@ -184,7 +191,7 @@ feature -- Validation
 		local
 			current_value: G
 		do
-			current_value := value_control.value
+			current_value := value
 			is_valid := True
 			across
 				validators as c