From d62028ed8d8e9a83733428bc16dd290af94ecb67 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?S=C3=B6ren=20Domr=C3=B6s?= Date: Mon, 17 Jun 2024 17:55:25 +0200 Subject: [PATCH] Added color to bold selection style. --- .../diagram/synthesis/styles/LinguaFrancaStyleExtensions.java | 2 ++ 1 file changed, 2 insertions(+) diff --git a/core/src/main/java/org/lflang/diagram/synthesis/styles/LinguaFrancaStyleExtensions.java b/core/src/main/java/org/lflang/diagram/synthesis/styles/LinguaFrancaStyleExtensions.java index 629daf0d75..cdc2109fc5 100644 --- a/core/src/main/java/org/lflang/diagram/synthesis/styles/LinguaFrancaStyleExtensions.java +++ b/core/src/main/java/org/lflang/diagram/synthesis/styles/LinguaFrancaStyleExtensions.java @@ -86,6 +86,8 @@ public KRendering underlineSelectionStyle(KRendering r) { public KRendering boldLineSelectionStyle(KRendering r) { float lineWidthValue = _kRenderingExtensions.getLineWidthValue(r); + // Improve this with content from https://github.com/lf-lang/rfcs/pull/3 + _kRenderingExtensions.setSelectionForeground(r, Colors.ORANGE_1); return _kRenderingExtensions.setSelectionLineWidth(r, lineWidthValue * 2); }