From def3dd698cde5fb5c052e59c3a45cc796c68f5c7 Mon Sep 17 00:00:00 2001
From: fkloft <felix.kloft+github@gmail.com>
Date: Wed, 18 Sep 2013 18:08:29 +0200
Subject: [PATCH] Fix: Highlighter was not remembered after IITC restart

---
 code/portal_highlighter.js | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/code/portal_highlighter.js b/code/portal_highlighter.js
index ee03a883..cd2333db 100644
--- a/code/portal_highlighter.js
+++ b/code/portal_highlighter.js
@@ -6,6 +6,12 @@ window._highlighters = null;
 window._current_highlighter = localStorage.portal_highlighter;
 window._no_highlighter = 'No Highlights';
 
+if(window._current_highlighter !== undefined) {
+  if (typeof android !== 'undefined' && android && android.setActiveHighlighter)
+    android.setActiveHighlighter(window._current_highlighter);
+}
+
+
 window.addPortalHighlighter = function(name, callback) {
   if(_highlighters === null) {
     _highlighters = {};