This repository was archived by the owner on Dec 1, 2017. It is now read-only.
This repository was archived by the owner on Dec 1, 2017. It is now read-only.
Feature: Some way to shrink text in sidebar #15
Description
I find myself wanting much higher contact-and-feed density in the sidebar. Other users may disagree - perhaps a T+ / T- widget somewhere?