| 121 | | ^(Describe and link the implementation results here (from the wiki or the repository).)^ |
| | 121 | * Implementation committed to second_resource_refactoring branch |
| | 122 | * [5656] |
| | 123 | * [5677] |
| | 124 | * [5689] |
| | 125 | * [5692] |
| | 126 | * [5711] |
| | 127 | * [5712] |
| | 128 | * [5721] |
| | 129 | * [5727] |
| | 130 | * [5750] |
| | 131 | * [5751] |
| | 132 | * [5814] |
| | 133 | * [5832] |
| | 134 | * [5898] |
| | 135 | * Issues |
| | 136 | * Documentation is postponed for a later revision. |
| | 137 | * Known bugs (will be fixed in the next revision) |
| | 138 | * There is a bug in the indexing of HotPoses leading to the following problems |
| | 139 | * Navigation - UP and HOME/END do not work correctly (DOWN is OK) |
| | 140 | * getLineEnds do not work correctly |
| | 141 | * The respective tests fail |
| | 142 | * There is an exception after the first Copy/Paste. |
