changeset 119 | 756ffe18637e |
parent 116 | f10973853d11 |
child 123 | 1dd63411c085 |
--- 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