diff options
| -rw-r--r-- | common/content/editor.js | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/common/content/editor.js b/common/content/editor.js index 8d0073b5..892cbad6 100644 --- a/common/content/editor.js +++ b/common/content/editor.js @@ -921,7 +921,7 @@ function Editor() //{{{ return true; } } - liberator.echoerr("No abbreviations found"); + liberator.echomsg("No abbreviations found"); return false; } else // list all (for that filter {i,c,!}) |