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-16 22:07:09 +09:00
Code
Issues
Packages
Projects
Releases
Wiki
Activity
Files
d8576d0fe68f3d65fa7d000cb163234d5a27317a
zyedidia.micro
/
internal
History
Zachary Yedidia
d8576d0fe6
Display a tilde before every uppercase letter
2023-02-13 14:24:49 -08:00
..
action
Fix build
2023-01-29 19:23:21 -08:00
buffer
Reload settings when filetype is changed
2023-01-26 18:21:35 -08:00
clipboard
Use zyedidia/clipper for external clipboard
2022-06-14 08:40:57 -04:00
config
Add fakecursor option
2023-01-26 18:02:54 -08:00
display
Display a tilde before every uppercase letter
2023-02-13 14:24:49 -08:00
info
…
lua
…
screen
Add fakecursor option
2023-01-26 18:02:54 -08:00
shell
Use shell job for terminal callback
2022-08-19 15:46:01 -07:00
util
util.HttpRequest helper to make requests with headers (
#2678
)
2023-01-30 01:29:06 -08:00
views
…
