From e891a47a9e27af1dd2f81fb1690ba10f529bdbd1 Mon Sep 17 00:00:00 2001 From: Paulo Reis Date: Wed, 15 Jun 2016 15:27:30 +0100 Subject: [PATCH] Better support for larger text in keyboard tooltips. --- services/web/app/views/project/editor/pdf.jade | 2 +- services/web/public/stylesheets/app/editor/pdf.less | 6 ++++++ 2 files changed, 7 insertions(+), 1 deletion(-) diff --git a/services/web/app/views/project/editor/pdf.jade b/services/web/app/views/project/editor/pdf.jade index 90497b2eb0..ce5bd16b53 100644 --- a/services/web/app/views/project/editor/pdf.jade +++ b/services/web/app/views/project/editor/pdf.jade @@ -2,7 +2,7 @@ div.full-size.pdf(ng-controller="PdfController") .toolbar.toolbar-tall .btn-group( dropdown, - tooltip="#{translate('recompile_pdf')} ({{modifierKey}} + Enter)" + tooltip-html="'#{translate('recompile_pdf')} ({{modifierKey}} + Enter)'" tooltip-class="keyboard-tooltip" tooltip-popup-delay="500" tooltip-append-to-body="true" diff --git a/services/web/public/stylesheets/app/editor/pdf.less b/services/web/public/stylesheets/app/editor/pdf.less index 0560fac2a0..6e813d5eaf 100644 --- a/services/web/public/stylesheets/app/editor/pdf.less +++ b/services/web/public/stylesheets/app/editor/pdf.less @@ -170,5 +170,11 @@ } .keyboard-tooltip { + .tooltip-inner { + max-width: none; + } +} + +.keyboard-shortcut { white-space: nowrap; } \ No newline at end of file