Fixes #7: notices when toolbar does not need to be shown #8

Merged
merged 1 commit into from Jan 11, 2012

Projects

None yet

2 participants

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment