From 14e524cf217250388d374433cf6f3241f66e4e01 Mon Sep 17 00:00:00 2001
From: mitchell <70453897+orbitalquark@users.noreply.github.com>
Date: Sat, 19 Sep 2020 14:53:20 -0400
Subject: Added `events.FILE_{BEFORE,AFTER}_RELOAD` and save/restore bookmarks.
Also moved buffer state save/restore into ui module.
---
docs/api.md | 14 ++++++++++++++
docs/manual.md | 4 ++++
2 files changed, 18 insertions(+)
(limited to 'docs')
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`
+
+#### `events.FILE_AFTER_RELOAD` (string)
+
+Emitted after reloading the current file.
+ Emitted by [`buffer:reload()`](#buffer.reload).
+
#### `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.
+
+#### `events.FILE_BEFORE_RELOAD` (string)
+
+Emitted before reloading the current file.
+ Emitted by [`buffer:reload()`](#buffer.reload).
+
#### `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
--
cgit v1.2.3