diff options
| author |  Dirk Hohndel <dirk@hohndel.org> | 2021-08-17 11:19:41 -0700 |
|---|---|---|
| committer | Dirk Hohndel <dirk@hohndel.org> | 2021-08-18 13:22:02 -0700 |
| commit | b1d53481ad5f28290ed932fcb2a34ea827b819ef (patch) | |
| tree | 8c6aa9b4565fdd14f3c705694559786431d96f0d /Documentation/Makefile | |
| parent | e7a5ec46f5577656acd1ce44b34e761193ab015b (diff) | |
| download | subsurface-b1d53481ad5f28290ed932fcb2a34ea827b819ef.tar.gz | |
profile: use undo infrastructure for editing nicknames
This does the right thing even when removing a nickname by setting it to
an empty string. The oddly named DiveListNotifier handles the need to
redraw the profile when the name changes.
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
Diffstat (limited to 'Documentation/Makefile')
0 files changed, 0 insertions, 0 deletions