-
George Nachman authored
Various UI improvements for annotations: use a better 'delete' icon; make the window grow when the text view grows; confirm deletions.
0f8831ce
Various UI improvements for annotations: use a better 'delete' icon; make the window grow when the text view grows; confirm deletions.