From 30b435133e8ff115947cf266692131081aa41f42 Mon Sep 17 00:00:00 2001
From: Mayhem <stepien.nicolas@gmail.com>
Date: Sat, 1 Jun 2013 17:46:25 +0200
Subject: [PATCH] Let's see what body>.desktop elements are there when the
 #boardNavDesktop is null

---
 src/General/Header.coffee | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/src/General/Header.coffee b/src/General/Header.coffee
index d873adf0f..e826a9bb5 100644
--- a/src/General/Header.coffee
+++ b/src/General/Header.coffee
@@ -100,6 +100,12 @@ Header =
         innerHTML: '<a href=javascript:;> - </a>'
       $.on btn, 'click', Header.toggleBoardList
       $.add fullBoardList, btn
+    else
+      Main.logError
+        message: "Header crash: nav is null"
+        error: new Error """
+        #{$$('body > .desktop').map((el) -> el.id).join ','}
+        """
 
     Header.setCustomNav      Conf['Custom Board Navigation']
     Header.generateBoardList Conf['boardnav']