Merge pull request #1519 from vanillajonathan/patch-1

Add title attribute to image tag
10 years ago · fe1490fedb
parent caca248b6f b5d8d45ab8
commit fe1490fedb
1 changed files with 1 additions and 0 deletions
--- a/notebook/static/notebook/js/kernelselector.js
+++ b/notebook/static/notebook/js/kernelselector.js
@ -131,6 +131,7 @@ define([
        $("#kernel_indicator").find('.kernel_indicator_name').text(ks.spec.display_name);
        if (ks.resources['logo-64x64']) {
            logo_img.attr("src", ks.resources['logo-64x64']);
+            logo_img.attr("title", ks.spec.display_name);
            logo_img.show();
        } else {
            logo_img.hide();