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-10 22:52:51 +09:00
Code
Issues
Packages
Projects
Releases
Wiki
Activity
Files
5075c91fd4e017af468d56b2b605f168744e0906
zyedidia.micro
/
internal
/
config
History
Zachary Yedidia
7f32d31108
Fix plugin names
2019-12-25 17:05:11 -05:00
..
autosave.go
Fix minor autosave race condition
2019-12-25 17:05:11 -05:00
colorscheme_test.go
…
colorscheme.go
…
config.go
…
globals.go
Add autosave option
2019-12-25 17:05:11 -05:00
plugin_manager.go
Add plugin info.json support
2019-12-25 17:05:11 -05:00
plugin.go
Add plugin info.json support
2019-12-25 17:05:11 -05:00
rtfiles_test.go
…
rtfiles.go
Use plugin name defined in info and require it to be an identifier
2019-12-25 17:05:11 -05:00
runtime.go
Fix plugin names
2019-12-25 17:05:11 -05:00
settings.go
Auto init settings if config doesn't exist
2019-12-25 17:05:11 -05:00