Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
Bunch of UI features + some fixes #17
The following commits consist mainly of UI enhancements with some fixes buried in them. While these few commits feel rather bulky, each of them acts as a tightly connected set of changes with (hopefully) detailed enough description.
The ares touched upon are: