diff options
author | 2016-08-29 13:39:25 -0400 | |
---|---|---|
committer | 2016-08-29 13:39:25 -0400 | |
commit | 1963a073759892fea35654fa0838cc93eda44381 (patch) | |
tree | a70f88edfa07e774a779d95c0ce080303a252790 /core/ui.lua | |
parent | 92ce6671d7c6c2c0acd19e4e068dc4749480324d (diff) |
Small LuaDoc updates.
Diffstat (limited to 'core/ui.lua')
-rw-r--r-- | core/ui.lua | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/core/ui.lua b/core/ui.lua index 06d68776..85ffcba1 100644 --- a/core/ui.lua +++ b/core/ui.lua @@ -74,7 +74,7 @@ local function _print(buffer_type, ...) print_buffer:set_save_point() end --- --- Prints the given string messages to the buffer of type *buffer_type*. +-- Prints the given string messages to the buffer of string type *buffer_type*. -- Opens a new buffer for printing messages to if necessary. If the message -- buffer is already open in a view, the message is printed to that view. -- Otherwise the view is split (unless `ui.tabs` is `true`) and the message |