From 79af6e17d7dec35f97997f024f40db91ae0bbdd5 Mon Sep 17 00:00:00 2001 From: Matthias Becker Date: Wed, 13 Dec 2023 15:22:48 +0100 Subject: [PATCH] Revert "Fix Cut Off Label on Welcome Page" This reverts commit 96448443f4cc89fd0e179f3488c900d29e8159c9. --- .../ui/internal/intro/impl/html/IntroHTMLGenerator.java | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/ua/org.eclipse.ui.intro/src/org/eclipse/ui/internal/intro/impl/html/IntroHTMLGenerator.java b/ua/org.eclipse.ui.intro/src/org/eclipse/ui/internal/intro/impl/html/IntroHTMLGenerator.java index b50907122d2..ee1abb40ce2 100644 --- a/ua/org.eclipse.ui.intro/src/org/eclipse/ui/internal/intro/impl/html/IntroHTMLGenerator.java +++ b/ua/org.eclipse.ui.intro/src/org/eclipse/ui/internal/intro/impl/html/IntroHTMLGenerator.java @@ -509,6 +509,13 @@ private HTMLElement generateIntroLink(IntroLink element, int indentLevel) { anchor2 = generateAnchorElement(element, indentLevel + 1); labelAnchor = anchor2; } + // add + String blankImageURL = BundleUtil.getResolvedResourceLocation(IIntroHTMLConstants.IMAGE_SRC_BLANK, + IIntroConstants.PLUGIN_ID); + if (blankImageURL != null) { + anchor1.addContent(generateImageElement(blankImageURL, null, null, IIntroHTMLConstants.IMAGE_CLASS_BG, + indentBase + 1)); + } // add link image, if one is specified if (element.getImg() != null) { HTMLElement img = generateIntroElement(element.getImg(), indentBase + 1);