From 5d7d48d368eeb6948e47da092e514e522d8f7d09 Mon Sep 17 00:00:00 2001 From: besson Date: Sat, 14 Jan 2023 16:38:51 +0100 Subject: [PATCH] =?UTF-8?q?Transf=C3=A9rer=20les=20fichiers=20vers=20'src/?= =?UTF-8?q?JsonInspector'?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- src/JsonInspector/Parameters.java | 1 + src/JsonInspector/Tree.java | 2 +- 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/src/JsonInspector/Parameters.java b/src/JsonInspector/Parameters.java index 34ec8a8..786e7a1 100644 --- a/src/JsonInspector/Parameters.java +++ b/src/JsonInspector/Parameters.java @@ -12,6 +12,7 @@ public class Parameters { public static final Color OTHER_COLOR = new Color(7, 103, 183); public static final Color STRING_COLOR = new Color(203, 109, 80); public static final Color NUMBER_COLOR = new Color(133, 192, 95); + public static final Color MOUSE_OVER_COLOR = new Color(60, 60, 60); public static final Color DEFAULT_TEXT_COLOR = new Color(220, 220, 220); public static final Color BACKGROUND_COLOR = new Color(45, 45, 45); } diff --git a/src/JsonInspector/Tree.java b/src/JsonInspector/Tree.java index 47d7003..690ff34 100644 --- a/src/JsonInspector/Tree.java +++ b/src/JsonInspector/Tree.java @@ -81,7 +81,7 @@ public class Tree { indentation += Parameters.CONSOLE_INDENTATION; } - if (!node.getName().equals("")) { + if (node.getType() != Type.ELEMENT) { line += indentation + "\"" + node.getName() + "\""; } else { line += indentation + node.getName();