From 22929fd3f522abc42c05a85cedb47df2f6e35965 Mon Sep 17 00:00:00 2001 From: ansuz Date: Wed, 29 Jun 2016 12:02:39 +0200 Subject: [PATCH] add title attributes for dropdown menus --- www/code/main.js | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/www/code/main.js b/www/code/main.js index 0c339bae0..1a24a8336 100644 --- a/www/code/main.js +++ b/www/code/main.js @@ -213,7 +213,7 @@ define([ })); /* Let the user select different syntax highlighting modes */ - var syntaxDropdown = '\n' + Modes.map(function (o) { var selected = o.mode === 'javascript'? ' selected="selected"' : ''; return ''; @@ -225,7 +225,7 @@ define([ var lastTheme = localStorage.getItem(themeKey) || 'default'; /* Let the user select different themes */ - var themeDropdown = '\n' + Themes.map(function (o) { var selected = o.name === lastTheme? ' selected="selected"': ''; return '';