This website requires JavaScript.
Explore
Help
Sign In
github
/
zyedidia.micro
Watch
2
Star
0
Fork
0
You've already forked zyedidia.micro
mirror of
https://github.com/zyedidia/micro.git
synced
2026-03-29 06:12:35 +09:00
Code
Issues
Packages
Projects
Releases
Wiki
Activity
Files
9a22d93ea25bb72ec2d52c6a5ab27e870583af80
zyedidia.micro
/
internal
History
Zachary Yedidia
9a22d93ea2
Expose CharacterCount to plugins
2020-05-20 18:04:00 -04:00
..
action
Use CharacterCount over RuneCount
2020-05-20 16:47:08 -04:00
buffer
Use CharacterCount over RuneCount
2020-05-20 16:47:08 -04:00
config
Expose CharacterCount to plugins
2020-05-20 18:04:00 -04:00
display
Use CharacterCount over RuneCount
2020-05-20 16:47:08 -04:00
info
…
lua
…
screen
…
shell
…
util
Use unicode.Mark for combining unicode range
2020-05-20 18:01:10 -04:00
views
…
