Release 5.13.17
Fixes
- clear resources when closing files
- use MinimalListWidget in the search dialog
- improve Signal init performance
- improve append in case the signals have no samples (0 cycles)
- avoid using the max builtin function to increase performance
- improve update_lines performance (GUI)