John Hendrikx
John Hendrikx
> `ListenerManager` is an obvious improvement, as it fixes incorrect behavior and allows listeners to veto changes. However, the behavior of `ListenerManager` is also an implementation detail and not documented...
The fully covered node which was dirty is now marked clean in the PR when it is culled. Now that it is clean, what happens when it is uncovered (being...
> @hjohn would you mind taking a look at this? using the ideas from your SpaceDistributor Will take a look this weekend
> > My observation is that this algorithm seems unable to provide a proper user resizing experience as it seems to discard important information it would need to do so....
> As @nlisker notes, the implications of any deprecation will need to be discussed. In particular, we need to consider what the consequences are for existing applications. If any of...
I think we can continue with this one, now that #1340 is done.
I think this PR now no longer needs a CSR.
I think its /csroff or something...