As described in #1073, tab reuse didn't work when the columns of the result changed. I've fixed this now so that no more errors are displayed. The issue was rooted in the fact that the new column widths were computed only after rendering, such that some columns were lacking a width.
Sizes of columns that have been manually resized are kept, even if the query changes.
Closes #1073.
Thank you for your contribution!
Before submitting this PR, please make sure:
[x] Your code builds clean without any errors or warnings
Honestly, I have no idea whether this is the case. I barely managed to get a setup working at all, which took >1.5h. Would need additional instructions to check this (if it isn't done automatically in a pipeline). Since the changes are small and I didn't see anything in the IDE, I would assume that it is the case. EDIT: I ran the pipeline in my own fork and it's looking good.
[x] You have made the needed changes to the docs
Since this is a bugfix, no changes are required
[x] You have written a description of what is the purpose of this pull request above
As described in #1073, tab reuse didn't work when the columns of the result changed. I've fixed this now so that no more errors are displayed. The issue was rooted in the fact that the new column widths were computed only after rendering, such that some columns were lacking a width.
Sizes of columns that have been manually resized are kept, even if the query changes.
Closes #1073.
Thank you for your contribution! Before submitting this PR, please make sure: