|
@@ -17,7 +17,7 @@ public class RenderHelper {
|
|
|
public static final Color FOREGROUND_COLOR = new Color(0xa9b7c6);
|
|
|
public static final Color BREAKPOINT_COLOR = new Color(0x6c2020);
|
|
|
public static final Color CURRENT_LINE_COLOR = new Color(0x606366);
|
|
|
- public static Font font;
|
|
|
+ public static Font font = new Font("Monospaced", Font.PLAIN, 12);
|
|
|
|
|
|
/**
|
|
|
* creates an arrow shape to draw it, for example as part of an edge.
|