aboutsummaryrefslogtreecommitdiff
path: root/editor/plugins
ModeNameSize
-rwxr-xr-xdune114logplain
-rwxr-xr-xfootnotes.ml8460logplain
-rwxr-xr-xlink_editor.ml4431logplain
-rwxr-xr-xplugins.ml4151logplain
-rwxr-xr-xpopin.ml2584logplain
-rwxr-xr-xtooltip.ml3087logplain