diff options
-rw-r--r-- | src/ui/documentwidget.c | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/ui/documentwidget.c b/src/ui/documentwidget.c index 891d8588..d338cf04 100644 --- a/src/ui/documentwidget.c +++ b/src/ui/documentwidget.c | |||
@@ -562,7 +562,8 @@ static void updateHover_DocumentWidget_(iDocumentWidget *d, iInt2 mouse) { | |||
562 | animate_DocumentWidget_(d); | 562 | animate_DocumentWidget_(d); |
563 | refresh_Widget(w); | 563 | refresh_Widget(w); |
564 | } | 564 | } |
565 | else if (d->hoverPre && targetValue_Anim(&d->altTextOpacity) < 0.5f) { | 565 | else if (d->hoverPre && targetValue_Anim(&d->altTextOpacity) < 0.5f && |
566 | ~d->flags & noHoverWhileScrolling_DocumentWidgetFlag) { | ||
566 | setValue_Anim(&d->altTextOpacity, 1.0f, 0); | 567 | setValue_Anim(&d->altTextOpacity, 1.0f, 0); |
567 | refresh_Widget(w); | 568 | refresh_Widget(w); |
568 | } | 569 | } |
@@ -3477,7 +3478,7 @@ static void draw_DocumentWidget_(const iDocumentWidget *d) { | |||
3477 | const iGmPreMeta *meta = preMeta_GmDocument(d->doc, d->hoverAltPre->preId); | 3478 | const iGmPreMeta *meta = preMeta_GmDocument(d->doc, d->hoverAltPre->preId); |
3478 | if (meta->flags & topLeft_GmPreMetaFlag && ~meta->flags & decoration_GmRunFlag && | 3479 | if (meta->flags & topLeft_GmPreMetaFlag && ~meta->flags & decoration_GmRunFlag && |
3479 | !isEmpty_Range(&meta->altText)) { | 3480 | !isEmpty_Range(&meta->altText)) { |
3480 | const int margin = 2 * gap_UI; | 3481 | const int margin = 3 * gap_UI / 2; |
3481 | const int altFont = uiLabel_FontId; | 3482 | const int altFont = uiLabel_FontId; |
3482 | const int wrap = docBounds.size.x - 2 * margin; | 3483 | const int wrap = docBounds.size.x - 2 * margin; |
3483 | iInt2 pos = addY_I2(add_I2(docBounds.pos, meta->pixelRect.pos), | 3484 | iInt2 pos = addY_I2(add_I2(docBounds.pos, meta->pixelRect.pos), |