From ffcbcbc7a65c014361bee20d37852aa288f7ed1f Mon Sep 17 00:00:00 2001 From: vita10gy Date: Wed, 10 Apr 2013 00:46:16 -0500 Subject: [PATCH] Nits and style changes --- code/portal_highlighter.js | 11 +++++++++-- mobile/smartphone.css | 12 ++++++++++++ style.css | 6 ++++-- 3 files changed, 25 insertions(+), 4 deletions(-) diff --git a/code/portal_highlighter.js b/code/portal_highlighter.js index bf0dfb19..9df7d08b 100644 --- a/code/portal_highlighter.js +++ b/code/portal_highlighter.js @@ -5,12 +5,17 @@ window._highlighters = null; window._current_highlighter = localStorage.portal_highlighter; window.changing_highlighters = false; +window._no_highlighter = 'No Highlights'; window.addPortalHighlighter = function(name, callback) { if(_highlighters === null) { _highlighters = {}; } _highlighters[name] = callback; + if(localStorage.portal_highlighter === undefined) { + _current_highlighter = name; + localStorage.portal_highlighter = name; + } portalHighlighterControl(); } @@ -20,12 +25,13 @@ window.portalHighlighterControl = function() { $("body").append(""); } $("#portal_highlight_select").html(''); - $("#portal_highlight_select").append($("