ui: store pushloc as separate attribute
The magic @property is going to interfere with the ability to print path sub-options. We only access it in one location and it is trivial to in-line, so do that.
Loading
Please register or sign in to comment