Lines 597-603
Link Here
|
597 |
if (selectionStart == -1) |
597 |
if (selectionStart == -1) |
598 |
return; |
598 |
return; |
599 |
graphics.setXORMode(true); |
599 |
graphics.setXORMode(true); |
600 |
graphics.setBackgroundColor(ColorConstants.white); |
600 |
graphics.setBackgroundColor(ColorConstants.blue); |
|
|
601 |
graphics.setAlpha(60); |
601 |
|
602 |
|
602 |
TextFragmentBox frag; |
603 |
TextFragmentBox frag; |
603 |
for (int i = 0; i < fragments.size(); i++) { |
604 |
for (int i = 0; i < fragments.size(); i++) { |