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-04 20:00:30 +09:00
Code
Issues
Packages
Projects
Releases
Wiki
Activity
Files
34724b941a3278f9bbeb6fa30ca3d301708b3a01
zyedidia.micro
/
internal
/
config
History
Zachary Yedidia
8176e8c6f8
Improve one-dark colorscheme divider
2020-02-10 23:37:21 -05:00
..
autosave.go
…
colorscheme_test.go
…
colorscheme.go
…
config.go
…
globals.go
…
plugin_installer_test.go
Add plugin manager
2020-02-01 23:54:38 -05:00
plugin_installer.go
Add support for plugin manager within micro
2020-02-02 14:20:39 -05:00
plugin_manager.go
Add plugin manager
2020-02-01 23:54:38 -05:00
plugin.go
Allow plugins to resize panes
2020-02-05 17:16:31 -05:00
rtfiles_test.go
…
rtfiles.go
More plugin docs and improve doc formatting
2020-02-08 18:31:06 -05:00
runtime.go
Improve one-dark colorscheme divider
2020-02-10 23:37:21 -05:00
settings.go
Change diffgutter default to false
2020-02-10 00:30:13 -05:00