This fixes #2280. I want with Raymond's suggestion.
The first commit contains the real change. The second commit is simply a cleanup where I switch to using more bikeshed markup and `[[]]`` symbols, in line with what we do for other private slots.
I also took this opportunity to describe more formally the state getter.
This fixes #2280. I want with Raymond's suggestion.
The first commit contains the real change. The second commit is simply a cleanup where I switch to using more bikeshed markup and `[[]]`` symbols, in line with what we do for other private slots.
I also took this opportunity to describe more formally the
state
getter.Preview | Diff