Hi, I am on Firefox 23, Windows 7. On current master, I was using the db filter in navi, when I got "An error has occurred". However, looking the Firebug console, I see, each second, a GET request to error_report.php, followed by TypeError: $nav_tree_content_position(...) is undefined lines = stacktrace.split('\n'); -- Marc Delisle http://infomarc.info