From 23b93a1a1497ed71d539c169fa48b7158588f246 Mon Sep 17 00:00:00 2001 From: Ben Fry Date: Wed, 27 Apr 2022 19:37:03 -0400 Subject: [PATCH] change back to errors.row, add errors.bgcolor --- app/src/processing/app/ui/ErrorTable.java | 8 ++++---- build/shared/lib/theme.txt | 7 ++++--- 2 files changed, 8 insertions(+), 7 deletions(-) diff --git a/app/src/processing/app/ui/ErrorTable.java b/app/src/processing/app/ui/ErrorTable.java index 82fe8698c..927ce7ac2 100644 --- a/app/src/processing/app/ui/ErrorTable.java +++ b/app/src/processing/app/ui/ErrorTable.java @@ -106,7 +106,7 @@ public class ErrorTable extends JTable { protected void updateTheme() { - setBackground(Theme.getColor("errors.list.bgcolor")); + setBackground(Theme.getColor("errors.bgcolor")); getTableHeader().setDefaultRenderer(new GradyHeaderRenderer()); setDefaultRenderer(Object.class, new GradyRowRenderer()); } @@ -182,11 +182,11 @@ public class ErrorTable extends JTable { Color warningIndicatorColor; public GradyRowRenderer() { - setFont(Theme.getFont("errors.list.font")); + setFont(Theme.getFont("errors.row.font")); setAlignmentX(LEFT_ALIGNMENT); - textColor = Theme.getColor("errors.list.fgcolor"); - bgColor = Theme.getColor("errors.list.bgcolor"); + textColor = Theme.getColor("errors.row.fgcolor"); + bgColor = Theme.getColor("errors.row.bgcolor"); textColorSelected = Theme.getColor("errors.selection.fgcolor"); bgColorSelected = Theme.getColor("errors.selection.bgcolor"); bgColorError = Theme.getColor("errors.selection.error.bgcolor"); diff --git a/build/shared/lib/theme.txt b/build/shared/lib/theme.txt index 5bce1e0bb..b3717a99f 100644 --- a/build/shared/lib/theme.txt +++ b/build/shared/lib/theme.txt @@ -167,9 +167,10 @@ editor.column.warning.color = #fed456 errors.header.font = processing.sans,plain,12 errors.header.bgcolor = #ebebeb errors.header.fgcolor = #484848 -errors.list.font = processing.sans,plain,12 -errors.list.fgcolor = #484848 -errors.list.bgcolor = #ffffff +errors.bgcolor = #ffffff +errors.row.font = processing.sans,plain,12 +errors.row.fgcolor = #484848 +errors.row.bgcolor = #ffffff errors.selection.fgcolor = #242424 errors.selection.bgcolor = #e5e5e5 errors.selection.error.bgcolor = #f5e6e6