diff options
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/api.md | 14 | ||||
| -rw-r--r-- | docs/manual.md | 4 |
2 files changed, 18 insertions, 0 deletions
diff --git a/docs/api.md b/docs/api.md index e57c9b7c..99ca01ac 100644 --- a/docs/api.md +++ b/docs/api.md @@ -3060,6 +3060,8 @@ Parameters: #### `buffer.reload`(*buffer*) Reloads the buffer's file contents, discarding any changes. +Emits `FILE_BEFORE_RELOAD` and `FILE_AFTER_RELOAD` events if the buffer is +the current one. Parameters: @@ -4306,6 +4308,12 @@ Extends Lua's `io` library with Textadept functions for working with files. ### Fields defined by `io` +<a id="events.FILE_AFTER_RELOAD"></a> +#### `events.FILE_AFTER_RELOAD` (string) + +Emitted after reloading the current file. + Emitted by [`buffer:reload()`](#buffer.reload). + <a id="events.FILE_AFTER_SAVE"></a> #### `events.FILE_AFTER_SAVE` (string) @@ -4317,6 +4325,12 @@ Emitted right after saving a file to disk. * _`saved_as`_: Whether or not the file was saved under a different filename. +<a id="events.FILE_BEFORE_RELOAD"></a> +#### `events.FILE_BEFORE_RELOAD` (string) + +Emitted before reloading the current file. + Emitted by [`buffer:reload()`](#buffer.reload). + <a id="events.FILE_BEFORE_SAVE"></a> #### `events.FILE_BEFORE_SAVE` (string) diff --git a/docs/manual.md b/docs/manual.md index 424e9681..3a2f91b5 100644 --- a/docs/manual.md +++ b/docs/manual.md @@ -1860,6 +1860,8 @@ set\_fold\_margin\_\*colour|Renamed |set\_fold\_margin\_\*color vertical\_centre\_caret |Renamed |vertical\_center\_caret **events** | | AUTO\_C\_CANCELLED |Renamed |AUTO\_C\_CANCELED +N/A |Added |[FILE_BEFORE_RELOAD][] +N/A |Added |[FILE_AFTER_RELOAD][] N/A |Added |[SESSION_SAVE][] N/A |Added |[SESSION_LOAD][] **io** | | @@ -1916,6 +1918,8 @@ section below. [view:set_theme()]: api.html#view.set_theme [name_of_style]: api.html#buffer.name_of_style +[FILE_BEFORE_RELOAD]: api.html#events.FILE_BEFORE_RELOAD +[FILE_AFTER_RELOAD]: api.html#events.FILE_AFTER_RELOAD [SESSION_SAVE]: api.html#events.SESSION_SAVE [SESSION_LOAD]: api.html#events.SESSION_LOAD [buffer:reload()]: api.html#buffer.reload |