diff options
author | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2014-11-01 14:33:01 -0400 |
---|---|---|
committer | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2014-11-01 14:39:47 -0400 |
commit | f47ad59316ddbfce0b24edac752222d300ed0da4 (patch) | |
tree | d61ae73242e3fb4e3b2177d0048474f19b6bdaf4 /.dir-locals.el | |
parent | ee7122c0ec6aa11f02e9e8d94254b353f12d2c14 (diff) |
Use log "level" instead of "priority"
The term "priority" is misleading because higher levels have lower
priority. "Level" is clearer and shorter.
This commit touches only the textual descriptions, not function and variable
names themselves. "Priority" is used in various command-line switches and
protocol constants, so completly getting rid of "priority" is hard.
I also left "priority" in various places where the clarity suffered
when it was removed.
Diffstat (limited to '.dir-locals.el')
0 files changed, 0 insertions, 0 deletions