summaryrefslogtreecommitdiff
path: root/src
AgeCommit message (Expand)Author
2019-10-04Add padding around documentsdefanor
2019-08-25Merge search and selectiondefanor
2019-08-24Introduce incremental text searchdefanor
2019-08-17Add the prototypedefanor