Greatly improved catalogue widget
The catalogue widget of the GUI now comes with the option of selecting/deselecting all items. In addition, copying of selected items to the clipboard for use in other software, such as text editors and spreadsheets, is also possible now.