From 56b874e4a17cce1656b6071241b324395a1b03bc Mon Sep 17 00:00:00 2001 From: Jan de Muijnck-Hughes Date: Fri, 22 May 2020 09:24:50 +0100 Subject: [PATCH] Updated CHANGELOG for 1.0 release. --- CHANGES.markdown | 34 +++++++++++++++++++++++++++++++--- 1 file changed, 31 insertions(+), 3 deletions(-) diff --git a/CHANGES.markdown b/CHANGES.markdown index 4c5d6a72..2c7b41c9 100644 --- a/CHANGES.markdown +++ b/CHANGES.markdown @@ -3,13 +3,41 @@ This file documents the user-interface changes in idris-mode, starting with release 0.9.19. +## 1.0 + ++ Idris mode has been brought uptodate with Idris1 + +### Fixes + ++ Fix regular expression when matching on `.ipkg` extensions ++ Prevent completion-error when identifier is at beginning of buffer ++ Internal code changes ++ Better development testing with travis + +### UX + ++ `C-u C-c C-l` flags the buffer as dirty ++ Add images back into the repl ++ Disable the Idris event log by default ++ When Idris returns no proof search, do not delete the metavas ++ Remove references to idris-event-buffer-name when idris-log-events is nil ++ Fix idris-simple-indent-backtab ++ Give operator chars "." syntax and improve idris-thing-at-point ++ Conditional semantic faces for light/dark backgrounds + +### Documentation + ++ General fix ups ++ Document a way of reducing excessive frames + + ## 2016 Feb 29 - * It is possible to customize what happens to the focus of the current - window when the type checking is performed and type errors are detected, + * It is possible to customize what happens to the focus of the current + window when the type checking is performed and type errors are detected, now the user can choose between two options: 1) the current window stays focused or 2) the focus goes to the `*idris-notes*` buffer. - The true or false value of the variable + The true or false value of the variable `idris-stay-in-current-window-on-compiler-error` controls this behaviour. ## 0.9.19