374 |
374 |
375 data = bytes(data).decode("utf-8") |
375 data = bytes(data).decode("utf-8") |
376 data = data.replace("'", "\\'") |
376 data = data.replace("'", "\\'") |
377 return source.format(data) |
377 return source.format(data) |
378 |
378 |
|
379 |
|
380 def setCss(css): |
|
381 """ |
|
382 Function generating a script to set a given CSS style sheet. |
|
383 |
|
384 @param css style sheet |
|
385 @type str |
|
386 @return script to set the style sheet |
|
387 @rtype str |
|
388 """ |
|
389 source = """ |
|
390 (function() {{ |
|
391 var css = document.createElement('style'); |
|
392 css.setAttribute('type', 'text/css'); |
|
393 css.appendChild(document.createTextNode('{0}')); |
|
394 document.getElementsByTagName('head')[0].appendChild(css); |
|
395 }})()""" |
|
396 style = css.replace("'", "\\'").replace("\n", "\\n") |
|
397 return source.format(style) |
|
398 |
379 ########################################################################### |
399 ########################################################################### |
380 ## scripts below are specific for eric |
400 ## scripts below are specific for eric |
381 ########################################################################### |
401 ########################################################################### |
382 |
402 |
383 |
403 |