From c29a6ad195ebc456307fe9b8701592fe96d072d3 Mon Sep 17 00:00:00 2001
From: YNH Webdev <ynhwebdev@gmail.com>
Date: Tue, 27 Aug 2013 16:33:54 +0200
Subject: [PATCH] Add assigner

---
 library/server/wsf_html/webcontrol/wsf_button_control.e | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/library/server/wsf_html/webcontrol/wsf_button_control.e b/library/server/wsf_html/webcontrol/wsf_button_control.e
index a2551e93..8f7aea10 100644
--- a/library/server/wsf_html/webcontrol/wsf_button_control.e
+++ b/library/server/wsf_html/webcontrol/wsf_button_control.e
@@ -50,6 +50,11 @@ feature
 			Result.put (create {JSON_STRING}.make_json (text), create {JSON_STRING}.make_json ("text"))
 		end
 
+	set_text (t: STRING)
+		do
+			text := t
+		end
+
 feature
 
 	text: STRING