keep track of the space covered by pinned pages
this makes navigation work a bit better
Description
Description
Details
Details
- Committed
mart May 23 2019, 5:03 PM - Parents
- R169:3f73d82250b4: show a separator when in left sidebar mode
- Branches
- Unknown
- Tags