aboutsummaryrefslogtreecommitdiff
path: root/runtime/doc/develop.txt
diff options
context:
space:
mode:
Diffstat (limited to 'runtime/doc/develop.txt')
-rw-r--r--runtime/doc/develop.txt7
1 files changed, 7 insertions, 0 deletions
diff --git a/runtime/doc/develop.txt b/runtime/doc/develop.txt
index 60a3f870a9..06760fae35 100644
--- a/runtime/doc/develop.txt
+++ b/runtime/doc/develop.txt
@@ -356,4 +356,11 @@ External UIs are expected to implement these common features:
published in this event. See also "mouse_on", "mouse_off".
+NAMING *dev-naming*
+
+Naming is very important. Consistent naming in the API and UI helps users
+discover and intuitively understand related "families" of things. It reduces
+cognitive burden.
+
+
vim:tw=78:ts=8:noet:ft=help:norl: