diff options
| author | rxi <rxi@users.noreply.github.com> | 2020-05-26 09:55:33 +0100 |
|---|---|---|
| committer | rxi <rxi@users.noreply.github.com> | 2020-05-26 09:55:33 +0100 |
| commit | b80e49cb2c606f434b77ef2a0cd1f0a85db42f52 (patch) | |
| tree | 65573aa82a568221edfd95273ae04665ff3404fe /plugins/language_tex.lua | |
| parent | ed3242d4751a67055f307afd3d605de56c2d3be8 (diff) | |
| download | lite-xl-plugins-b80e49cb2c606f434b77ef2a0cd1f0a85db42f52.tar.gz lite-xl-plugins-b80e49cb2c606f434b77ef2a0cd1f0a85db42f52.zip | |
Updated `workspace` plugin to handle unsaved doc/non-doc views
Diffstat (limited to 'plugins/language_tex.lua')
0 files changed, 0 insertions, 0 deletions