Ulepszone zmienianie rozmiaru. Fixes #58.
[redakcja.git] / project / templates / explorer / panels / htmleditor.html
1 <div class="panel">
2     <div class="htmleditor">
3         {{ html|safe }}
4     </div>
5 </div>
6 <script type="text/javascript" charset="utf-8">
7     (function() {
8         function resizeEditor(event, panel) {
9             var panel = panel || event.data.panel;
10             $('.htmleditor', panel).height($(panel).height());
11         }
12
13         panel(function(event, panel) {
14             $(window).bind('resize', {'panel': panel}, resizeEditor);
15             resizeEditor(null, panel);  
16         }, function(event, panel) {});
17     })()
18 </script>