]> git.lizzy.rs Git - micro.git/commitdiff
Merge pull request #520 from samdmarshall/tab-scrolling
authorZachary Yedidia <zyedidia@gmail.com>
Thu, 16 Feb 2017 20:51:19 +0000 (15:51 -0500)
committerGitHub <noreply@github.com>
Thu, 16 Feb 2017 20:51:19 +0000 (15:51 -0500)
adding tab scrolling and additional tab indicators


Trivial merge