Changeset 1125 for trunk/src/org/expeditee/agents
- Timestamp:
- 09/13/18 12:30:53 (6 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/expeditee/agents/GraphFramesetLinks.java
r1102 r1125 229 229 Text keyFrameOutgoing = resultsFrame.addText(0, 0, "\u25CF = Frame in a different frameset", null); 230 230 231 keyLink.setFont(keyFont );231 keyLink.setFont(keyFont.clone()); 232 232 keyLink.setColor(Colour.DARK_GREY); 233 233 234 keyFrame.setFont(keyFont );;234 keyFrame.setFont(keyFont.clone()); 235 235 keyFrame.setColor(vertColor); 236 236 237 keyFrameUnlinked.setFont(keyFont );237 keyFrameUnlinked.setFont(keyFont.clone()); 238 238 keyFrameUnlinked.setColor(unlinkedVertColor); 239 239 240 keyFrameOutgoing.setFont(keyFont );240 keyFrameOutgoing.setFont(keyFont.clone()); 241 241 keyFrameOutgoing.setColor(outgoingVertColor); 242 242
Note:
See TracChangeset
for help on using the changeset viewer.