From b5d8d45ab8b3375d5d31f9da92be560e6d354757 Mon Sep 17 00:00:00 2001 From: Jonathan Date: Tue, 7 Jun 2016 14:26:04 +0200 Subject: [PATCH] Add title attribute to image tag --- notebook/static/notebook/js/kernelselector.js | 1 + 1 file changed, 1 insertion(+) diff --git a/notebook/static/notebook/js/kernelselector.js b/notebook/static/notebook/js/kernelselector.js index 787349ea9..c5f0a337c 100644 --- 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();