added option to not close history tool in insta paste, minor bugs fixed