summaryrefslogtreecommitdiff
path: root/lib
ModeNameSize
-rw-r--r--command.ml5106logplainblame
-rw-r--r--config.ml135logplainblame
-rw-r--r--dune52logplainblame
-rw-r--r--editor.ml13691logplainblame
-rw-r--r--editorBuffer.ml3439logplainblame
-rw-r--r--key.ml1828logplainblame
-rw-r--r--modes.ml586logplainblame
-rw-r--r--terminal.ml4139logplainblame
-rw-r--r--terminal.mli2126logplainblame
-rw-r--r--text.ml261logplainblame
-rw-r--r--util.ml765logplainblame
-rw-r--r--zipper.ml4048logplainblame
-rw-r--r--zipper.mli10081logplainblame