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