61 private def paintCommand(command : Command, buffer : JEditBuffer, gfx : Graphics) { |
61 private def paintCommand(command : Command, buffer : JEditBuffer, gfx : Graphics) { |
62 val line1 = buffer.getLineOfOffset(command.start) |
62 val line1 = buffer.getLineOfOffset(command.start) |
63 val line2 = buffer.getLineOfOffset(command.stop - 1) + 1 |
63 val line2 = buffer.getLineOfOffset(command.stop - 1) + 1 |
64 val y = lineToY(line1) |
64 val y = lineToY(line1) |
65 val height = lineToY(line2) - y - 1 |
65 val height = lineToY(line2) - y - 1 |
66 val (light, dark) = command.phase match { |
66 val (light, dark) = command.status match { |
67 case Command.Phase.UNPROCESSED => (Color.yellow, new Color(128,128,0)) |
67 case Command.Status.UNPROCESSED => (Color.yellow, new Color(128,128,0)) |
68 case Command.Phase.FINISHED => (Color.green, new Color(0, 128, 0)) |
68 case Command.Status.FINISHED => (Color.green, new Color(0, 128, 0)) |
69 case Command.Phase.FAILED => (Color.red, new Color(128,0,0)) |
69 case Command.Status.FAILED => (Color.red, new Color(128,0,0)) |
70 } |
70 } |
71 |
71 |
72 gfx.setColor(light) |
72 gfx.setColor(light) |
73 gfx.fillRect(0, y, getWidth - 1, 1 max height) |
73 gfx.fillRect(0, y, getWidth - 1, 1 max height) |
74 if(height > 2){ |
74 if(height > 2){ |