Categories

This extension spreads the area displayed code, pull request and other in GitHub. The area size is switched between wide size and default size when you click the extension icon.