From 0a8fdf777d7f183cb83b3db47c23c12e7cfc6c45 Mon Sep 17 00:00:00 2001
From: =?utf8?q?=C5=81ukasz=20Rekucki?= <lrekucki@gmail.com>
Date: Wed, 26 Aug 2009 11:05:35 +0200
Subject: [PATCH] Fixed logging in FF. Scrolling should now magicly work.

---
 project/static/css/master.css                     | 1 +
 project/static/js/editor.js                       | 3 ---
 project/static/js/jquery.logging.js               | 2 +-
 project/templates/explorer/panels/htmleditor.html | 4 ++--
 4 files changed, 4 insertions(+), 6 deletions(-)

diff --git a/project/static/css/master.css b/project/static/css/master.css
index 74376ea5..f2ca8c1d 100644
--- a/project/static/css/master.css
+++ b/project/static/css/master.css
@@ -120,6 +120,7 @@ label {
 /* contents */
 .panel-content {
 	position: absolute;
+	overflow: auto;
 	top: 22px; left: 0px; bottom:0px; right: 0px;
 }
 
diff --git a/project/static/js/editor.js b/project/static/js/editor.js
index 4a1c9d1d..234a436c 100644
--- a/project/static/js/editor.js
+++ b/project/static/js/editor.js
@@ -4,7 +4,6 @@ function Panel(panelWrap) {
 	self.contentDiv = $('.panel-content', panelWrap);
 	self.instanceId = Math.ceil(Math.random() * 1000000000);
 	$.log('new panel - wrap: ', self.wrap);
-
 	
 	$(document).bind('panel:unload.' + self.instanceId, 
 			function(event, data) { self.unload(event, data); });	
@@ -18,7 +17,6 @@ function Panel(panelWrap) {
 
 		return false; 		
 	});
-
 }
 
 Panel.prototype.callHook = function(hookName) {
@@ -56,7 +54,6 @@ Panel.prototype.unload = function(event, data) {
 
 	if( data == this ) {
 		$.log('unloading', this);
-		$(document).unbind('panel:unload.' + this.instanceId);
         $(this.contentDiv).html('');
 		this.callHook('unload');
 		this.hooks = null; // flush the hooks
diff --git a/project/static/js/jquery.logging.js b/project/static/js/jquery.logging.js
index 3b9175b8..0f0df519 100644
--- a/project/static/js/jquery.logging.js
+++ b/project/static/js/jquery.logging.js
@@ -27,7 +27,7 @@
 
 	if ($.browser.mozilla)
 		$.log.browserLog = mozillaLog;
-	if ($.browser.safari)
+	else if ($.browser.safari)
 	    $.log.browserLog = safariLog;
 	else if($.browser.opera)
 		$.log.browserLog = operaLog;
diff --git a/project/templates/explorer/panels/htmleditor.html b/project/templates/explorer/panels/htmleditor.html
index d5e0acb9..3323cf18 100644
--- a/project/templates/explorer/panels/htmleditor.html
+++ b/project/templates/explorer/panels/htmleditor.html
@@ -2,11 +2,11 @@
 <script type="text/javascript" charset="utf-8">
 panel_hooks = {
 	load: function() 
+
 	{
-		this.contentDiv.addClass('panel-htmleditor');
 	},
 	unload: function() {
-		this.contentDiv.removeClass('panel-htmleditor');
+
 	}
 };
 </script>
-- 
2.20.1