[ENH] Predictions: Update splitter on resize

[janezd]

Issue

Fixes #4430.

Fails (and will continue to fail) at coverage.

Description of changes

Update splitter on resize event.

Includes

• Code changes
• Tests
• Documentation

[codecov]

Codecov Report

Merging #4433 into master will decrease coverage by 0.01%.
The diff coverage is n/a.

@@            Coverage Diff             @@
##           master    #4433      +/-   ##
==========================================
- Coverage   87.47%   87.45%   -0.02%     
==========================================
  Files         405      405              
  Lines       74135    74137       +2     
==========================================
- Hits        64846    64840       -6     
- Misses       9289     9297       +8     

[ajdapretnar]

I personally love this fix, but a few more people should probably agree this is the desired behaviour. @markotoplak @lanzagar @PrimozGodec

[lanzagar]

I definitely think it is better than before.
But in the (rare?) case when the splitter is manually changed I find the abrupt jump on resize a bit jarring. Maybe it would be best to keep the left size constant on resizes and stretch/shrink just the data view? Not sure if that complicates the implementation?

[janezd]

Maybe it would be best to keep the left size constant on resizes and stretch/shrink just the data view?

Would this be OK?

• When the left part is changed, the splitter would reset to fit the left side. (Like it does now on resize.)
• The user can manually move it.
• When the window is resized, the left side would keep the same (no matter whether it was set automatically or by the user).

[janezd]

I changed it as described above.

[lanzagar]

👍