Sat, 13 Jan 2024 13:01:09 +0100
Editor
- Added code to show the indicator margin messages when the mouse hovers over a syntax error or warning indicator.
10062
adb3ef7ae167
Updated the plugin document with respect to the new plugin header.
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
9701
diff
changeset
|
1 | (binary:application/pdf) |