github/zyedidia.micro
2
0
Fork 0
mirror of https://github.com/zyedidia/micro.git synced 2026-03-28 22:08:12 +09:00
Code Issues Packages Projects Releases Wiki Activity
1,752 Commits 24 Branches 41 Tags
e101dcd55ae7221dfb2f2dd36391697cfe4a0460
Commit Graph

4 Commits

Author SHA1 Message Date
Zachary Yedidia
e29cae4f7f Infobar history 2019-01-03 17:07:28 -05:00
Zachary Yedidia
e63a3c8917 Implement searching 2019-01-03 15:27:43 -05:00
Zachary Yedidia
bc7b70fefe Fix infobar prompt 2019-01-02 20:57:27 -05:00
Zachary Yedidia
b43c5ed3e7 Reorganize info bar 2019-01-01 22:36:12 -05:00