diff options
Diffstat (limited to 'dist/changes-1.3.0')
-rw-r--r-- | dist/changes-1.3.0 | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/dist/changes-1.3.0 b/dist/changes-1.3.0 index 60379adf56e..3db748a069e 100644 --- a/dist/changes-1.3.0 +++ b/dist/changes-1.3.0 @@ -12,7 +12,12 @@ API, so if you have created your own custom plugins, they will need to be adapted accordingly. General: + * Added the option to automatically reload files when externally modified, + or to ignore external modifications (contributed by Henrik Abelsson) +Editing: + * Added support for text editor color schemes + * Added highlighting of uses of the symbol under the cursor Project support: * Added support for adding and removing files from a generic Makefile-based |