# HG changeset patch
# User dellsystem <ilostwaldo@gmail.com>
# Date 1347674096 14400
# Node ID 3cd28df6f85b783b1f9652c36da4584d3ee9aa28
# Parent  2d5d80c0e967c9341bb3680b6da26945a7813e84
Rename <option> attr for pygments style select

From name to data-name, because <option>s don't have names.

For the validator.

diff -r 2d5d80c0e967 -r 3cd28df6f85b templates/snippet/snippet_details.djhtml
--- a/templates/snippet/snippet_details.djhtml	Fri Sep 14 21:50:24 2012 -0400
+++ b/templates/snippet/snippet_details.djhtml	Fri Sep 14 21:54:56 2012 -0400
@@ -64,7 +64,7 @@
         <select id="change-highlighting"
                 data-default="{{ default_style }}">
             {% for pygments_style in pygments_styles %}
-            <option name="{{ pygments_style }}">
+            <option data-name="{{ pygments_style }}">
                 {{ pygments_style }}
                 {% if pygments_style == default_style %}
                 (default)
diff -r 2d5d80c0e967 -r 3cd28df6f85b templates/snippet/snippet_details.js
--- a/templates/snippet/snippet_details.js	Fri Sep 14 21:50:24 2012 -0400
+++ b/templates/snippet/snippet_details.js	Fri Sep 14 21:54:56 2012 -0400
@@ -23,7 +23,7 @@
     */
     var currentStyle = $('#change-highlighting').attr('data-default');
     $('#change-highlighting').change(function () {
-        var newStyle = $(this).find(':selected').attr('name');
+        var newStyle = $(this).find(':selected').attr('data-name');
 
         $('.snippet').removeClass(currentStyle).addClass(newStyle);
         currentStyle = newStyle;