3 Commits

Author	SHA1	Message	Date
Gunnar Beutner	d82defe6a9	Add readline support for the "repl" command ... fixes #8091	2014-12-16 13:26:26 +01:00
Gunnar Beutner	478f03b49a	Replace boost::shared_ptr with boost::intrusive_ptr ... refs #7622	2014-11-09 16:54:41 +01:00
Gunnar Beutner	8cc6368954	Implement generic color support for terminals ... fixes #7396	2014-10-17 20:44:17 +02:00