diff -r 935341eda021 -r 756ffe18637e docs/HISTORY.txt --- a/docs/HISTORY.txt Wed Mar 27 10:11:42 2019 +0100 +++ b/docs/HISTORY.txt Wed Mar 27 11:09:35 2019 +0100 @@ -1,6 +1,11 @@ History ======= +0.1.17.1 +-------- + - corrected terms selection tree widget update script to avoid highlighting only the first frame + containing selected terms + 0.1.17 ------ - use request header to store posted thesaurus name (this is required when we need to change