diff options
Diffstat (limited to 'dist/changes-1.3.0')
-rw-r--r-- | dist/changes-1.3.0 | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/dist/changes-1.3.0 b/dist/changes-1.3.0 index 3db748a069e..c103d4eec9f 100644 --- a/dist/changes-1.3.0 +++ b/dist/changes-1.3.0 @@ -18,6 +18,7 @@ General: Editing: * Added support for text editor color schemes * Added highlighting of uses of the symbol under the cursor + * Added the option to turn off marking of text changes Project support: * Added support for adding and removing files from a generic Makefile-based |