3 Commits

Author	SHA1	Message	Date
Zachary Yedidia	44b64f7129	Fix compile error	2018-01-22 17:32:30 -05:00
Zachary Yedidia	0a49ea0a0d	Improve shell commands	2018-01-22 17:20:03 -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