summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2019-10-04Add padding around documentsdefanor
2019-08-25Merge search and selectiondefanor
2019-08-24Introduce incremental text searchdefanor
2019-08-18Add doc/Makefile.amdefanor
2019-08-17Add the prototypedefanor