github/zyedidia.micro
2
0
Fork 0
mirror of https://github.com/zyedidia/micro.git synced 2026-03-10 06:40:24 +09:00
Code Issues Packages Projects Releases Wiki Activity
1,752 Commits 24 Branches 41 Tags
5c2fc923326bc44ca8a72e1aed0b19ff78286e99
Commit Graph

5 Commits

Author SHA1 Message Date
Zachary Yedidia
10b8fb7b26 Expose emulator functions and support output 
Ref #979
 2018-01-20 23:34:16 -05:00
Zachary Yedidia
83190a578e Change HandleShellCommand backend 
I'm trying to add more options for plugins that want to run shell
commands. Also trying to add support for running shell commands in the
terminal emulator from a plugin and return the output.

More to come soon.

Ref #979
 2018-01-20 22:23:52 -05:00
Zachary Yedidia
6ef00c4c3b Clean up terminal emulator a bit 2018-01-19 00:28:51 -05:00
Zachary Yedidia
3b36316b00 Add support for selection and copy in terminal 
This commit adds mouse and copy support in the terminal emulator
in micro.
 2018-01-05 22:44:36 -05:00
Zachary Yedidia
dd47f167f1 Clean up terminal a bit and wait before closing 2018-01-05 21:38:40 -05:00