Matthias Beyer ea38f2ffbf Fix: Pass /dev/tty as stdin for editor ... This fixes the issue that spawning the editor trashes the terminal. The signature of the Runtime::editor() function changed, which has to be fixed in using code.		2018-03-23 23:55:06 +01:00
..
configuration.rs	Adapt libimagrt to new error handling	2018-02-12 21:19:47 +01:00
error.rs	Fix: Pass /dev/tty as stdin for editor	2018-03-23 23:55:06 +01:00
io.rs	Provide LockedOutputProxy which holds locked variants of Stdout/Stderr	2018-03-04 15:42:00 +01:00
lib.rs	Implement proxy object where runtime configures output	2018-03-04 13:57:44 +01:00
logger.rs	Update dates in license header	2018-02-07 02:48:53 +01:00
runtime.rs	Fix: Pass /dev/tty as stdin for editor	2018-03-23 23:55:06 +01:00
setup.rs	Update dates in license header	2018-02-07 02:48:53 +01:00
spec.rs	Update dates in license header	2018-02-07 02:48:53 +01:00
version.rs	Use version string from git, if present	2018-02-13 11:53:51 +01:00