mirrors/EWF
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Small page control change

Browse Source
This commit is contained in:
severin
2014-01-01 14:44:22 +01:00
parent 6838089570
commit 720e26d19d
1 changed files with 4 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
draft/library/wsf_js_widget/kernel/webcontrol/wsf_page_control.e
View File

@@ -103,12 +103,12 @@ feature -- Implementation
create Result.make_empty
if not ajax then
Result.append ("<html><head>")
Result.append ("<link href=%"assets/bootstrap.min.css%" rel=%"stylesheet%">")
Result.append ("<link href=%"assets/widget.css%" rel=%"stylesheet%">")
Result.append ("<link href=%"/assets/bootstrap.min.css%" rel=%"stylesheet%">")
Result.append ("<link href=%"/assets/widget.css%" rel=%"stylesheet%">")
Result.append ("</head><body data-name=%"" + control_name + "%" data-type=%"WSF_PAGE_CONTROL%">")
Result.append (control.render)
Result.append ("<script src=%"assets/jquery.min.js%"></script>")
Result.append ("<script src=%"assets/widget.js%"></script>")
Result.append ("<script src=%"/assets/jquery.min.js%"></script>")
Result.append ("<script src=%"/assets/widget.js%"></script>")
Result.append ("<script type=%"text/javascript%">$(function() {var page= new WSF_PAGE_CONTROL(")
Result.append (full_state.representation)
Result.append (");page.initialize();});</script>")