protected void paintPatchLabels(GraphicsInterface g, double patchSize) {
// then draw the patch labels
if (world.patchesWithLabels() > 0) {
int patchCount = world.patches().count();
for (int i = 0; i < patchCount; i++) {
Patch patch = world.getPatch(i);
if (patch.hasLabel()) {
drawPatchLabel(g, patch, patchSize);
}
}
}
if (outlineAgent instanceof Patch) {
Patch patch = (Patch) outlineAgent;
topology.drawWrappedRect(g,
org.nlogo.api.Color.getComplement
(org.nlogo.api.Color.getColor(patch.pcolor())),
1.0f, patch.pxcor(), patch.pycor(), 1, patchSize, false);
}
}