Skip to content

Commit

Permalink
Added color to bold selection style.
Browse files Browse the repository at this point in the history
  • Loading branch information
soerendomroes authored and EhsanKhodadad committed Aug 21, 2024
1 parent b65fb79 commit d62028e
Showing 1 changed file with 2 additions and 0 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -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);
}

Expand Down

0 comments on commit d62028e

Please sign in to comment.