| changeset 65977 | c51b74be23b6 |
| parent 65926 | 0f7821a07aa9 |
| child 81024 | d1535ba3b1ca |
--- a/src/Tools/VSCode/etc/options Tue May 30 21:38:38 2017 +0200 +++ b/src/Tools/VSCode/etc/options Tue May 30 22:06:39 2017 +0200 @@ -26,3 +26,6 @@ option vscode_caret_perspective : int = 50 -- "number of visible lines above and below the caret (0: unrestricted)" + +option vscode_caret_preview : bool = false + -- "dynamic preview of caret document node"