proposal: refresh current view should keep scroll position/selection

It is quite hard to look for changes in certain rows when it is not feasible to filter and sort so that the interesting rows are close to the top of the table.

I have four propositions to make tracking specific changes easier when reloading with :

1) maintain the scroll position - this will make it easier to track changes for currently visible rows/columns
2) maintain the selected rows (for tables with primary keys) - this will make it easier to track changes for over rows even if some are not currently visible
3) don't clear the table view on pressing , instead disable/grey-out the view - this will make it easier to track the text changes in the currently visible cells
4) don't recalculate column width - it's easiest to track changes if everything stays at the same position

No files, tests, or entry points are named. Start by locating the CMD+OPT+R refresh flow and table-view state, then clarify which of the four proposals are in scope; done means the agreed scroll, selection, loading display, and column-width behavior is verified after refresh.

Written by the indexing model from the issue text.