| | 113 | * Done according to the design... with the following changes: |
| | 114 | * The type of the {{{ hoveredLinks }}} property in {{{ HeadTextFrameView }}} was changed from LinkAttachment to HotInterval. This is safe, because no more than one link can be attached to a single interval. |
| | 115 | * Pressed links: a new list property {{{ pressedLinks }}} is added in {{{ HeadTextFrameView }}} and the link attachments whose intervals it contains are highlighted in {{{ HeadTextFrameView.textView()...textFlow().getExtraHighlights() }}} |
| | 116 | * Visited links: A new boolean field {{{ visited }}} was added to {{{ Link }}}. When a link that is attached to text is executed, we mark it as visited in the model. This happens in {{{ FrameTextLogic }}} and enables us to add special highlights for visited links. |
| | 117 | |
| | 118 | * Source code: [7922], [7923], [7937], [7937] |
