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

4 Commits

Author SHA1 Message Date
Zachary Yedidia
d4c410f3dc Infobar history 2019-12-25 17:05:10 -05:00
Zachary Yedidia
37a4cbfd98 Implement searching 2019-12-25 17:05:10 -05:00
Zachary Yedidia
80fe992957 Fix infobar prompt 2019-12-25 17:05:10 -05:00
Zachary Yedidia
c01995c1b6 Reorganize info bar 2019-12-25 17:05:10 -05:00