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
Fixed underline and VTab bug (closes #442) #460
Ok here is the updated pull request. Since I'm not an expert with git I was unable to resolve the merge conflict between my branch and master, so I had to create a new branch. Sorry about that... Maybe it's better this way anyway, because now it's just one clean commit.