Giters
tommyshem
/
micro-editor-stuff
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
2
Watchers:
2
Issues:
4
Forks:
5
tommyshem/micro-editor-stuff Issues
Make the jump-error-plugin usable
Updated
3 years ago
problems with indentation of snippets
Updated
3 years ago
Comments count
1
Link in micro plugin description broken
Updated
3 years ago
Comments count
1
Snippets: Is more than one shortcut allowed ?
Updated
4 years ago