From 5a8293d033f944e42b18193fd121425b8f4cf37f Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Matthias=20Kr=C3=BCger?= <matthias.krueger@famsik.de>
Date: Sun, 1 Jun 2014 01:26:23 +0200
Subject: [PATCH] htmlreport: show index of errors of current page under Defect
 List link.

---
 htmlreport/cppcheck-htmlreport | 18 ++++++++++++------
 1 file changed, 12 insertions(+), 6 deletions(-)

diff --git a/htmlreport/cppcheck-htmlreport b/htmlreport/cppcheck-htmlreport
index 23ea0c7f6..b4874d822 100755
--- a/htmlreport/cppcheck-htmlreport
+++ b/htmlreport/cppcheck-htmlreport
@@ -51,7 +51,7 @@ body {
     margin: 30px;
     overflow: auto;
     padding: 5px 20px;
-    width: auto;
+    width: 60em;
 }
 
 #header {
@@ -62,14 +62,16 @@ body {
     float: left;
     margin-top: 5px;
     text-align: left;
-    width: 100px;
-    height: auto;
+    width: 130px;
+    height: 50em;
     position: fixed;
+    overflow: auto;
 }
 
 #menu > a {
     display: block;
-    margin-left: 10px;
+    margin-left: 8px;
+    font: 12px;
 }
 
 #content {
@@ -81,7 +83,7 @@ body {
     margin: 5px;
     padding: 0 10px 10px 10px;
     width: 80%;
-    padding-left: 70px;
+    padding-left: 100px;
 }
 
 .linenos {
@@ -116,8 +118,9 @@ HTML_HEAD = """
       <div id="header">
         <h1>Cppcheck report - %s</h1>
       </div>
-      <div id="menu">
+      <div id="menu" dir="rtl">
         <a href="index.html">Defect list</a>
+        <br>
 """
 
 HTML_HEAD_END = """
@@ -307,6 +310,9 @@ if __name__ == '__main__':
                               (options.title,
                                #htmlFormatter.get_style_defs('.highlight'),
                                options.title))
+            for error in errors:
+                output_file.write("<a href='%s#line-%d'> %s %s</a>" % (data['htmlfile'], error['line'], error['id'],   error['line']))
+
             output_file.write(HTML_HEAD_END)
             lexer = guess_lexer_for_filename(source_filename, '')
             if options.source_encoding: