aboutsummaryrefslogtreecommitdiff
path: root/editor/app
ModeNameSize
-rwxr-xr-xdune109logplain
-rw-r--r--editor_app.ml54logplain
-rw-r--r--editor_app.mli71logplain