Revert scroll bar changes
Description
Description
Details
Details
- Provenance
Daniel Estanyol <daniel@estanyol.org> Authored on May 11 2018, 8:05 PM - Parents
- rGPGPASS5da03c4daeff: Minor UI tweak
- Branches
- Unknown
- Tags
Revert scroll bar changes Tags None Subscribers None |