From 720e26d19de3c77dd557f1f2ef87b701389b1caa Mon Sep 17 00:00:00 2001 From: severin Date: Wed, 1 Jan 2014 14:44:22 +0100 Subject: [PATCH] Small page control change --- .../wsf_js_widget/kernel/webcontrol/wsf_page_control.e | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/draft/library/wsf_js_widget/kernel/webcontrol/wsf_page_control.e b/draft/library/wsf_js_widget/kernel/webcontrol/wsf_page_control.e index 1484eeb9..1c0c17a3 100644 --- a/draft/library/wsf_js_widget/kernel/webcontrol/wsf_page_control.e +++ b/draft/library/wsf_js_widget/kernel/webcontrol/wsf_page_control.e @@ -103,12 +103,12 @@ feature -- Implementation create Result.make_empty if not ajax then Result.append ("") - Result.append ("") - Result.append ("") + Result.append ("") + Result.append ("") Result.append ("") Result.append (control.render) - Result.append ("") - Result.append ("") + Result.append ("") + Result.append ("") Result.append ("")