Various "Label list" bugs and annoyances

[ChristopheF]

Adding a label in the main window does not add the label in the Label List. You must save and reload the project for it to appear in the label list.

Importing labels empties the Label List. You must save and reload the project for labels to reappear.

You cannot resize columns in the Label List, so you cannot fully read long labels and comments

It would be nice if double clicking an offset would jump to the location (just like clicking the "Jump to" button)

Typing text in the Label list is very awkward and not standard: if you select some characters and press CTRL-C to copy, it copies the whole table line including tabulations. Pressing left/right arrows when editing text stops edition if you are on the first character or last character. Using Home/End keyboard keys does not work as expected when entering text (moving to first/last position).

Note: even with all these issues, DiztinGUIsh is already an excellent and invaluable tool!

[binary1230]

Thanks for the recent reports

Totally agree, the label list gui is pretty jank currently.

I actually have a working progress rewrite of that form implemented in AvaloniaUI, hoping to get that in soon.