diff options
| author |  Berthold Stoeger <bstoeger@mail.tuwien.ac.at> | 2020-11-07 12:58:27 +0100 |
|---|---|---|
| committer |  Dirk Hohndel <dirk@hohndel.org> | 2020-11-07 11:37:51 -0800 |
| commit | 291768b63cd3443372d47ccc67858c398287d867 (patch) | |
| tree | 4c75332db5c6974662657f834d0e08af3d5c8c7e /android | |
| parent | 68b63534a34a6e0b2af4a99919a439acd3d8be08 (diff) | |
| download | subsurface-291768b63cd3443372d47ccc67858c398287d867.tar.gz | |
desktop: rename table widget in DiveComputerTab to "devices"
The custom TableView widget saves the table width on destruction.
For that, it uses the "objectName()". Since the table of the
DiveComputerTab was simply called "table" in the UI file, the
widths were saved in that generic section. To avoid future
name-conflicts, rename the widget to "devices".
Signed-off-by: Berthold Stoeger <bstoeger@mail.tuwien.ac.at>
Diffstat (limited to 'android')
0 files changed, 0 insertions, 0 deletions