10 Aug
2023
10 Aug
'23
9:14 p.m.
On Thu Aug 10 20:29:04 2023 +0000, Zebediah Figura wrote:
It's missing `pointer_default(unique)`. Same in the other interface.
For what it's worth, pointer_default(unique) is the default value, so specifying it is redundant.
Oh, right, I had an impression that it's there to override other (command line?) defaults, but that's apparently not the case. Both are fine then.