@@ -77,25 +77,6 @@ public class MarkerColumn extends JPanel {
7777// private List<LineMarker> errorPointsOld = new ArrayList<LineMarker>();
7878
7979
80- public void paintComponent (Graphics g ) {
81- // Graphics2D g2d = (Graphics2D) g;
82- // g2d.setRenderingHint(RenderingHints.KEY_ANTIALIASING,
83- // RenderingHints.VALUE_ANTIALIAS_ON);
84- g .setColor (backgroundColor );
85- g .fillRect (0 , 0 , getWidth (), getHeight ());
86-
87- for (LineMarker m : errorPoints ) {
88- if (m .getType () == LineMarker .ERROR ) {
89- g .setColor (errorColor );
90- } else {
91- g .setColor (warningColor );
92- }
93- //g.fillRect(2, emarker.getY(), (getWidth() - 3), errorMarkerHeight);
94- g .drawLine (2 , m .getY (), getWidth () - 2 , m .getY ());
95- }
96- }
97-
98-
9980 public MarkerColumn (JavaEditor editor , int height ) {
10081 this .editor = editor ;
10182 this .errorCheckerService = editor .errorCheckerService ;
@@ -119,6 +100,21 @@ public void mouseMoved(final MouseEvent e) {
119100 }
120101
121102
103+ public void paintComponent (Graphics g ) {
104+ g .setColor (backgroundColor );
105+ g .fillRect (0 , 0 , getWidth (), getHeight ());
106+
107+ for (LineMarker m : errorPoints ) {
108+ if (m .getType () == LineMarker .ERROR ) {
109+ g .setColor (errorColor );
110+ } else {
111+ g .setColor (warningColor );
112+ }
113+ g .drawLine (2 , m .getY (), getWidth () - 2 , m .getY ());
114+ }
115+ }
116+
117+
122118 public List <LineMarker > getErrorPoints () {
123119 return errorPoints ;
124120 }
0 commit comments