Age | Commit message (Collapse) | Author | |
---|---|---|---|
2019-10-04 | Add padding around documents | defanor | |
Docbox border is set to 4, so that there is a little space between texts and window borders. | |||
2019-08-24 | Introduce incremental text search | defanor | |
It is quite rough and should be refined, but as with most of the other features, introducing it at this stage primarily to ensure that it will not require major changes. | |||
2019-08-17 | Add the prototype | defanor | |