Merge pull request #4623 from mtd91429/patch-1

Make tooltip buttons have consistent appearance
This commit is contained in:
Thomas Kluyver 2019-05-15 12:53:02 +01:00 committed by GitHub
commit 69b7a1d204
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -37,8 +37,8 @@ define([
// build the buttons menu on the upper right
// expand the tooltip to see more
var expandlink = $('<a/>').attr('href', "#").addClass("ui-corner-all") //rounded corner
.attr('role', "button").attr('id', 'expanbutton').attr('title', i18n.msg._('Grow the tooltip vertically (press shift-tab twice)')).click(function () {
var expandlink = $('<a/>').attr('href', "#").attr('role', "button").addClass('ui-button')
.attr('id', 'expanbutton').attr('title', i18n.msg._('Grow the tooltip vertically (press shift-tab twice)')).click(function () {
that.expand();
event.preventDefault();
}).append(