2023-01-12 09:46:13 +01:00
|
|
|
package JsonInspector;
|
|
|
|
|
|
|
|
import java.awt.*;
|
|
|
|
|
|
|
|
public class Parameters {
|
|
|
|
public static final Font FILE_FONT = new Font(Font.SANS_SERIF, Font.PLAIN, 18);
|
2023-01-12 21:57:55 +01:00
|
|
|
public static final String IHM_INDENTATION = " ";
|
|
|
|
public static final String CONSOLE_INDENTATION = " ";
|
2023-01-12 09:46:13 +01:00
|
|
|
|
|
|
|
public static final Color IHM_COLOR = new Color(70, 70, 70);
|
2023-01-12 21:57:55 +01:00
|
|
|
public static final Color KEY_COLOR = new Color(70, 189, 204);
|
|
|
|
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);
|
2023-01-12 09:46:13 +01:00
|
|
|
public static final Color DEFAULT_TEXT_COLOR = new Color(220, 220, 220);
|
|
|
|
public static final Color BACKGROUND_COLOR = new Color(45, 45, 45);
|
|
|
|
}
|